Index

addTypes	Language.Clafer.IG.ClaferIG
AliasValue	Language.Clafer.IG.ClaferModel
all	Language.Clafer.IG.ClaferIG
allowedMaxInt	Language.Clafer.IG.CommandLine
AlloyIGEnv
1 (Type/Class)	Language.Clafer.IG.AlloyIGInterface
2 (Data Constructor)	Language.Clafer.IG.AlloyIGInterface
AlloyIGT
1 (Type/Class)	Language.Clafer.IG.AlloyIGInterface
2 (Data Constructor)	Language.Clafer.IG.AlloyIGInterface
alloyModel	Language.Clafer.IG.AlloyIGInterface
alloyModelInstance	Language.Clafer.IG.ClaferIG
alloySolution	Language.Clafer.IG.ClaferIG
Any	Language.Clafer.IG.AlloyIGInterface
Atom
1 (Type/Class)	Language.Clafer.IG.Solution
2 (Data Constructor)	Language.Clafer.IG.Solution
a_label	Language.Clafer.IG.Solution
Best	Language.Clafer.IG.CommandLineParser
bitwidth	Language.Clafer.IG.ClaferIG
buildClaferModel	Language.Clafer.IG.ClaferModel
Cardinality
1 (Type/Class)	Language.Clafer.IG.Constraints
2 (Data Constructor)	Language.Clafer.IG.Constraints
cardinality	Language.Clafer.IG.Constraints
check_duplicates_comp	Language.Clafer.IG.ClaferIG
Clafer
1 (Type/Class)	Language.Clafer.IG.ClaferModel
2 (Data Constructor)	Language.Clafer.IG.ClaferModel
claferEnv'	Language.Clafer.IG.ClaferIG
claferIGArgs	Language.Clafer.IG.ClaferIG
ClaferIGEnv
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
ClaferIGT
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
claferIGVersion	Language.Clafer.IG.ClaferIG
ClaferInfo
1 (Type/Class)	Language.Clafer.IG.Constraints
2 (Data Constructor)	Language.Clafer.IG.Constraints
claferInfo	Language.Clafer.IG.Constraints
ClaferModel
1 (Type/Class)	Language.Clafer.IG.ClaferModel
2 (Data Constructor)	Language.Clafer.IG.ClaferModel
claferModel	Language.Clafer.IG.ClaferIG
claferModelFile	Language.Clafer.IG.ClaferIG
Command	Language.Clafer.IG.CommandLineParser
commandStrings	Language.Clafer.IG.CommandLineParser
Constraint	Language.Clafer.IG.Constraints
ConstraintInfo
1 (Type/Class)	Language.Clafer.IG.Constraints
2 (Data Constructor)	Language.Clafer.IG.Constraints
constraintInfo	Language.Clafer.IG.Constraints
constraints	Language.Clafer.IG.ClaferIG
core	Language.Clafer.IG.AlloyIGInterface
Counterexample
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
counterexample	Language.Clafer.IG.ClaferIG
counterexampleAlloyInstance	Language.Clafer.IG.ClaferIG
counterexampleInstance	Language.Clafer.IG.ClaferIG
c_alias	Language.Clafer.IG.ClaferModel
c_children	Language.Clafer.IG.ClaferModel
c_id	Language.Clafer.IG.ClaferModel
c_name	Language.Clafer.IG.ClaferModel
c_topLevel	Language.Clafer.IG.ClaferModel
c_value	Language.Clafer.IG.ClaferModel
errorMessages	Language.Clafer.IG.CommandLineParser
ExactCardinalityConstraint	Language.Clafer.IG.Constraints
executableDirectory	Language.Clafer.IG.Process
expectedMessage	Language.Clafer.IG.CommandLineParser
Fastest	Language.Clafer.IG.CommandLineParser
fetch	Language.Clafer.IG.AlloyIGInterface
fetches	Language.Clafer.IG.AlloyIGInterface
Field
1 (Type/Class)	Language.Clafer.IG.Solution
2 (Data Constructor)	Language.Clafer.IG.Solution
Find	Language.Clafer.IG.CommandLineParser
findNecessaryBitwidth	Language.Clafer.IG.CommandLine
findRemovable	Language.Clafer.IG.ClaferIG
flatten_inheritance_comp	Language.Clafer.IG.ClaferIG
fst3	Language.Clafer.IG.ClaferIG
f_id	Language.Clafer.IG.Solution
f_label	Language.Clafer.IG.Solution
f_parentId	Language.Clafer.IG.Solution
f_tuples	Language.Clafer.IG.Solution
generateJSON	Language.Clafer.IG.JSONGenerator
getAlloyModel
1 (Function)	Language.Clafer.IG.AlloyIGInterface
2 (Function)	Language.Clafer.IG.ClaferIG
getBitwidth	Language.Clafer.IG.ClaferIG
getClaferEnv	Language.Clafer.IG.ClaferIG
getClaferIGArgs	Language.Clafer.IG.ClaferIG
getClaferModel	Language.Clafer.IG.ClaferIG
getClafers	Language.Clafer.IG.ClaferIG
getConstraints	Language.Clafer.IG.ClaferIG
getContentsVerbatim	Language.Clafer.IG.Process
getGlobalScope
1 (Function)	Language.Clafer.IG.AlloyIGInterface
2 (Function)	Language.Clafer.IG.ClaferIG
getlineNumMap	Language.Clafer.IG.ClaferIG
getMessage	Language.Clafer.IG.Process
getMsg	Language.Clafer.IG.AlloyIGInterface
getQNameMaps	Language.Clafer.IG.ClaferIG
getScope
1 (Function)	Language.Clafer.IG.AlloyIGInterface
2 (Function)	Language.Clafer.IG.ClaferIG
getScopes
1 (Function)	Language.Clafer.IG.AlloyIGInterface
2 (Function)	Language.Clafer.IG.ClaferIG
getSigs	Language.Clafer.IG.AlloyIGInterface
getStrMap	Language.Clafer.IG.ClaferIG
getUIDIClaferMap	Language.Clafer.IG.ClaferIG
globalScope	Language.Clafer.IG.AlloyIGInterface
Help	Language.Clafer.IG.CommandLineParser
Id
1 (Type/Class)	Language.Clafer.IG.ClaferModel
2 (Data Constructor)	Language.Clafer.IG.ClaferModel
IGArgs
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
IncreaseGlobalScope	Language.Clafer.IG.CommandLineParser
IncreaseScope	Language.Clafer.IG.CommandLineParser
increaseScope	Language.Clafer.IG.ClaferIG
info	Language.Clafer.IG.ClaferIG
Instance
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
intToFloat	Language.Clafer.IG.CommandLine
IntValue	Language.Clafer.IG.ClaferModel
isLowerCardinalityConstraint	Language.Clafer.IG.Constraints
isUpperCardinalityConstraint	Language.Clafer.IG.Constraints
i_name	Language.Clafer.IG.ClaferModel
i_ordinal	Language.Clafer.IG.ClaferModel
json	Language.Clafer.IG.ClaferIG
lineNumMap	Language.Clafer.IG.ClaferIG
load	Language.Clafer.IG.AlloyIGInterface
LoadScopes	Language.Clafer.IG.CommandLineParser
Lone	Language.Clafer.IG.AlloyIGInterface
lookupConstraint	Language.Clafer.IG.Constraints
lower	Language.Clafer.IG.Constraints
LowerCardinalityConstraint	Language.Clafer.IG.Constraints
maxInt	Language.Clafer.IG.ClaferIG
Medium	Language.Clafer.IG.CommandLineParser
modelInstance	Language.Clafer.IG.ClaferIG
Multiplicity	Language.Clafer.IG.AlloyIGInterface
Next	Language.Clafer.IG.CommandLineParser
next	Language.Clafer.IG.ClaferIG
NoInstance	Language.Clafer.IG.ClaferIG
no_layout_comp	Language.Clafer.IG.ClaferIG
One	Language.Clafer.IG.AlloyIGInterface
parseCommandLine	Language.Clafer.IG.CommandLineParser
parseCommandLineAutoComplete	Language.Clafer.IG.CommandLineParser
parseConstraints	Language.Clafer.IG.Constraints
parseSolution	Language.Clafer.IG.Solution
pickLargerScope	Language.Clafer.IG.CommandLine
pId	Language.Clafer.IG.Constraints
pipeProcess	Language.Clafer.IG.Process
pos	Language.Clafer.IG.Constraints
printError	Language.Clafer.IG.CommandLine
proc	Language.Clafer.IG.AlloyIGInterface
Process	Language.Clafer.IG.Process
putMessage	Language.Clafer.IG.Process
putMsg	Language.Clafer.IG.AlloyIGInterface
qNameMaps	Language.Clafer.IG.ClaferIG
Quit	Language.Clafer.IG.CommandLineParser
quit	Language.Clafer.IG.ClaferIG
range	Language.Clafer.IG.Constraints
readMessage	Language.Clafer.IG.Process
readMsg	Language.Clafer.IG.AlloyIGInterface
Reload	Language.Clafer.IG.CommandLineParser
reload	Language.Clafer.IG.ClaferIG
removedConstraints	Language.Clafer.IG.ClaferIG
requiredBitwidth	Language.Clafer.IG.CommandLine
runAlloyIGT	Language.Clafer.IG.AlloyIGInterface
runClaferIGT	Language.Clafer.IG.ClaferIG
runCommandLine	Language.Clafer.IG.CommandLine
Save	Language.Clafer.IG.CommandLineParser
saveDir	Language.Clafer.IG.ClaferIG
SaveScopes	Language.Clafer.IG.CommandLineParser
scopes	Language.Clafer.IG.AlloyIGInterface
scope_strategy_comp	Language.Clafer.IG.ClaferIG
sendLoadCommand	Language.Clafer.IG.AlloyIGInterface
sendNextCommand	Language.Clafer.IG.AlloyIGInterface
sendQuitCommand	Language.Clafer.IG.AlloyIGInterface
sendRemoveConstraintCommand	Language.Clafer.IG.AlloyIGInterface
sendResolveCommand	Language.Clafer.IG.AlloyIGInterface
sendRestoreStateCommand	Language.Clafer.IG.AlloyIGInterface
sendSaveStateCommand	Language.Clafer.IG.AlloyIGInterface
sendSetBitwidthCommand	Language.Clafer.IG.AlloyIGInterface
sendSetGlobalScopeCommand	Language.Clafer.IG.AlloyIGInterface
sendSetScopeCommand	Language.Clafer.IG.AlloyIGInterface
sendSetUnsatCoreMinimizationCommand	Language.Clafer.IG.AlloyIGInterface
sendUnsatCoreCommand	Language.Clafer.IG.AlloyIGInterface
set	Language.Clafer.IG.AlloyIGInterface
setAlloyScope	Language.Clafer.IG.ClaferIG
SetBitwidth	Language.Clafer.IG.CommandLineParser
setBitwidth	Language.Clafer.IG.ClaferIG
SetGlobalScope	Language.Clafer.IG.CommandLineParser
setGlobalScope	Language.Clafer.IG.ClaferIG
SetMaxInt	Language.Clafer.IG.CommandLineParser
SetScope	Language.Clafer.IG.CommandLineParser
setScope	Language.Clafer.IG.ClaferIG
SetUnsatCoreMinimization	Language.Clafer.IG.CommandLineParser
setUnsatCoreMinimization	Language.Clafer.IG.ClaferIG
ShowAlloyInstance	Language.Clafer.IG.CommandLineParser
ShowAlloyModel	Language.Clafer.IG.CommandLineParser
ShowClaferModel	Language.Clafer.IG.CommandLineParser
ShowScopes	Language.Clafer.IG.CommandLineParser
Sig
1 (Type/Class)	Language.Clafer.IG.Solution
2 (Data Constructor)	Language.Clafer.IG.Solution
3 (Type/Class)	Language.Clafer.IG.AlloyIGInterface
4 (Data Constructor)	Language.Clafer.IG.AlloyIGInterface
sigMap	Language.Clafer.IG.AlloyIGInterface
sigToClaferName	Language.Clafer.IG.ClaferIG
skip_resolver_comp	Language.Clafer.IG.ClaferIG
Solution
1 (Type/Class)	Language.Clafer.IG.Solution
2 (Data Constructor)	Language.Clafer.IG.Solution
solve	Language.Clafer.IG.ClaferIG
Some	Language.Clafer.IG.AlloyIGInterface
strictReadFile	Language.Clafer.IG.ClaferIG
StringValue	Language.Clafer.IG.ClaferModel
strMap	Language.Clafer.IG.ClaferIG
sugarClaferModel	Language.Clafer.IG.Sugarer
syntax	Language.Clafer.IG.Constraints
s_atoms	Language.Clafer.IG.Solution
s_fields	Language.Clafer.IG.Solution
s_id	Language.Clafer.IG.Solution
s_label	Language.Clafer.IG.Solution
s_multiplicity	Language.Clafer.IG.AlloyIGInterface
s_name	Language.Clafer.IG.AlloyIGInterface
s_parentId	Language.Clafer.IG.Solution
s_sigs	Language.Clafer.IG.Solution
s_startingScope	Language.Clafer.IG.AlloyIGInterface
s_subset	Language.Clafer.IG.AlloyIGInterface
traverse	Language.Clafer.IG.ClaferModel
Tuple
1 (Type/Class)	Language.Clafer.IG.Solution
2 (Data Constructor)	Language.Clafer.IG.Solution
t_from	Language.Clafer.IG.Solution
t_fromType	Language.Clafer.IG.Solution
t_to	Language.Clafer.IG.Solution
t_toType	Language.Clafer.IG.Solution
unexpectedMessage	Language.Clafer.IG.CommandLineParser
uniqueId	Language.Clafer.IG.Constraints
unsatConstraints	Language.Clafer.IG.ClaferIG
UnsatCore
1 (Type/Class)	Language.Clafer.IG.AlloyIGInterface
2 (Data Constructor)	Language.Clafer.IG.AlloyIGInterface
3 (Data Constructor)	Language.Clafer.IG.ClaferIG
UnsatCoreMinimization	Language.Clafer.IG.CommandLineParser
upper	Language.Clafer.IG.Constraints
UpperCardinalityConstraint	Language.Clafer.IG.Constraints
UserConstraint	Language.Clafer.IG.Constraints
useUids	Language.Clafer.IG.ClaferIG
Value	Language.Clafer.IG.ClaferModel
valueOfScope	Language.Clafer.IG.ClaferIG
v_str	Language.Clafer.IG.ClaferModel
v_value	Language.Clafer.IG.ClaferModel
waitFor	Language.Clafer.IG.Process
withinRange	Language.Clafer.IG.AlloyIGInterface