Language.Clafer.Common
type Result
transIdent
mkIdent
mkInteger
getSuper
getReference
getSuperAndReference
getSuperId
getRefIds
isEqClaferId
mkPLClaferId
pExpDefPid
pExpDef
isParent
isClaferName
isClaferName'
getClaferName
isTopLevel
elemToClafer
toClafers
type UIDIClaferMap
createUidIClaferMap
findIClafer
isTopLevelByUID
findHierarchy
mapHierarchy
findUIDinSupers
findUIDinParents
data NestedInheritanceMatch
isProperNesting
isProperRefinement
isRedefinition
matchNestedInheritance
apply
bfs
toNodeShallow
getSubclafers
bfsClafers
lurry
fst3
snd3
trd3
toTriple
toMTriple
iNot
iCSet
iMin
iMaximum
iMinimum
iMaximize
iMinimize
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
arithBinOps
iUnion
iDifference
iIntersection
iDomain
iRange
iJoin
setBinOps
binOps
iIfThenElse
mkIFunExp
toLowerS
rootIdent
rootUID
thisIdent
parentIdent
drefIdent
childrenIdent
specialNames
isSpecial
stringType
intType
integerType
realType
doubleType
booleanType
baseClafer
modSep
primitiveTypes
isPrimitive
keywordIdents
data GEnv
safeTail