Language.Clafer.Common
type Result
transIdent
mkIdent
mkInteger
type Ident
getSuper
getReference
getSuperAndReference
getSuperId
isEqClaferId
mkPLClaferId
pExpDefPidPos
pExpDefPid
pExpDef
isParent
isClaferName
isClaferName'
getClaferName
isTopLevel
elemToClafer
toClafers
type UIDIClaferMap
createUidIClaferMap
findIClafer
findHierarchy
mapHierarchy
findUIDinSupers
findUIDinParents
data NestedInheritanceMatch
isProperNesting
isProperRefinement
isRedefinition
matchNestedInheritance
apply
bfs
toNodeShallow
getSubclafers
bfsClafers
lurry
fst3
snd3
trd3
toTriple
toMTriple
iNot
iCSet
iMin
iGMax
iGMin
iSumSet
iProdSet
unOps
iIff
iImpl
iOr
iXor
iAnd
logBinOps
iLt
iGt
iEq
iLte
iGte
iNeq
iIn
iNin
relGenBinOps
relSetBinOps
relBinOps
iPlus
iSub
iMul
iDiv
iRem
iSumSet'
arithBinOps
iUnion
iDifference
iIntersection
iDomain
iRange
iJoin
setBinOps
binOps
iIfThenElse
mkIFunExp
toLowerS
rootIdent
rootUID
thisIdent
parentIdent
refIdent
childrenIdent
specialNames
isSpecial
stringType
intType
integerType
realType
booleanType
baseClafer
modSep
primitiveTypes
isPrimitive
keywordIdents
data GEnv
voidf
safeTail