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 |