claferIG-0.3.9: claferIG is an interactive tool that generates instances of Clafer models.

Index

addTypesLanguage.Clafer.IG.ClaferIG
AliasValueLanguage.Clafer.IG.ClaferModel
allLanguage.Clafer.IG.ClaferIG
allowedMaxIntLanguage.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
alloyModelLanguage.Clafer.IG.AlloyIGInterface
alloyModelInstanceLanguage.Clafer.IG.ClaferIG
alloySolutionLanguage.Clafer.IG.ClaferIG
AnyLanguage.Clafer.IG.AlloyIGInterface
Atom 
1 (Type/Class)Language.Clafer.IG.Solution
2 (Data Constructor)Language.Clafer.IG.Solution
a_labelLanguage.Clafer.IG.Solution
BestLanguage.Clafer.IG.CommandLineParser
bitwidthLanguage.Clafer.IG.ClaferIG
buildClaferModelLanguage.Clafer.IG.ClaferModel
Cardinality 
1 (Type/Class)Language.Clafer.IG.Constraints
2 (Data Constructor)Language.Clafer.IG.Constraints
cardinalityLanguage.Clafer.IG.Constraints
check_duplicates_compLanguage.Clafer.IG.ClaferIG
Clafer 
1 (Type/Class)Language.Clafer.IG.ClaferModel
2 (Data Constructor)Language.Clafer.IG.ClaferModel
claferEnv'Language.Clafer.IG.ClaferIG
claferIGArgsLanguage.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
claferIGVersionLanguage.Clafer.IG.ClaferIG
ClaferInfo 
1 (Type/Class)Language.Clafer.IG.Constraints
2 (Data Constructor)Language.Clafer.IG.Constraints
claferInfoLanguage.Clafer.IG.Constraints
ClaferModel 
1 (Type/Class)Language.Clafer.IG.ClaferModel
2 (Data Constructor)Language.Clafer.IG.ClaferModel
claferModelLanguage.Clafer.IG.ClaferIG
claferModelFileLanguage.Clafer.IG.ClaferIG
CommandLanguage.Clafer.IG.CommandLineParser
commandStringsLanguage.Clafer.IG.CommandLineParser
ConstraintLanguage.Clafer.IG.Constraints
ConstraintInfo 
1 (Type/Class)Language.Clafer.IG.Constraints
2 (Data Constructor)Language.Clafer.IG.Constraints
constraintInfoLanguage.Clafer.IG.Constraints
constraintsLanguage.Clafer.IG.ClaferIG
coreLanguage.Clafer.IG.AlloyIGInterface
Counterexample 
1 (Type/Class)Language.Clafer.IG.ClaferIG
2 (Data Constructor)Language.Clafer.IG.ClaferIG
counterexampleLanguage.Clafer.IG.ClaferIG
counterexampleAlloyInstanceLanguage.Clafer.IG.ClaferIG
counterexampleInstanceLanguage.Clafer.IG.ClaferIG
c_aliasLanguage.Clafer.IG.ClaferModel
c_childrenLanguage.Clafer.IG.ClaferModel
c_idLanguage.Clafer.IG.ClaferModel
c_nameLanguage.Clafer.IG.ClaferModel
c_topLevelLanguage.Clafer.IG.ClaferModel
c_valueLanguage.Clafer.IG.ClaferModel
errorMessagesLanguage.Clafer.IG.CommandLineParser
ExactCardinalityConstraintLanguage.Clafer.IG.Constraints
executableDirectoryLanguage.Clafer.IG.Process
expectedMessageLanguage.Clafer.IG.CommandLineParser
FastestLanguage.Clafer.IG.CommandLineParser
fetchLanguage.Clafer.IG.AlloyIGInterface
fetchesLanguage.Clafer.IG.AlloyIGInterface
Field 
1 (Type/Class)Language.Clafer.IG.Solution
2 (Data Constructor)Language.Clafer.IG.Solution
FindLanguage.Clafer.IG.CommandLineParser
findNecessaryBitwidthLanguage.Clafer.IG.CommandLine
findRemovableLanguage.Clafer.IG.ClaferIG
flatten_inheritance_compLanguage.Clafer.IG.ClaferIG
fst3Language.Clafer.IG.ClaferIG
f_idLanguage.Clafer.IG.Solution
f_labelLanguage.Clafer.IG.Solution
f_parentIdLanguage.Clafer.IG.Solution
f_tuplesLanguage.Clafer.IG.Solution
generateJSONLanguage.Clafer.IG.JSONGenerator
getAlloyModel 
1 (Function)Language.Clafer.IG.AlloyIGInterface
2 (Function)Language.Clafer.IG.ClaferIG
getBitwidthLanguage.Clafer.IG.ClaferIG
getClaferEnvLanguage.Clafer.IG.ClaferIG
getClaferIGArgsLanguage.Clafer.IG.ClaferIG
getClaferModelLanguage.Clafer.IG.ClaferIG
getClafersLanguage.Clafer.IG.ClaferIG
getConstraintsLanguage.Clafer.IG.ClaferIG
getContentsVerbatimLanguage.Clafer.IG.Process
getGlobalScope 
1 (Function)Language.Clafer.IG.AlloyIGInterface
2 (Function)Language.Clafer.IG.ClaferIG
getlineNumMapLanguage.Clafer.IG.ClaferIG
getMessageLanguage.Clafer.IG.Process
getMsgLanguage.Clafer.IG.AlloyIGInterface
getQNameMapsLanguage.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
getSigsLanguage.Clafer.IG.AlloyIGInterface
getStrMapLanguage.Clafer.IG.ClaferIG
getUIDIClaferMapLanguage.Clafer.IG.ClaferIG
globalScopeLanguage.Clafer.IG.AlloyIGInterface
HelpLanguage.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
IncreaseGlobalScopeLanguage.Clafer.IG.CommandLineParser
IncreaseScopeLanguage.Clafer.IG.CommandLineParser
increaseScopeLanguage.Clafer.IG.ClaferIG
infoLanguage.Clafer.IG.ClaferIG
Instance 
1 (Type/Class)Language.Clafer.IG.ClaferIG
2 (Data Constructor)Language.Clafer.IG.ClaferIG
intToFloatLanguage.Clafer.IG.CommandLine
IntValueLanguage.Clafer.IG.ClaferModel
isLowerCardinalityConstraintLanguage.Clafer.IG.Constraints
isUpperCardinalityConstraintLanguage.Clafer.IG.Constraints
i_nameLanguage.Clafer.IG.ClaferModel
i_ordinalLanguage.Clafer.IG.ClaferModel
jsonLanguage.Clafer.IG.ClaferIG
lineNumMapLanguage.Clafer.IG.ClaferIG
loadLanguage.Clafer.IG.AlloyIGInterface
LoadScopesLanguage.Clafer.IG.CommandLineParser
LoneLanguage.Clafer.IG.AlloyIGInterface
lookupConstraintLanguage.Clafer.IG.Constraints
lowerLanguage.Clafer.IG.Constraints
LowerCardinalityConstraintLanguage.Clafer.IG.Constraints
maxIntLanguage.Clafer.IG.ClaferIG
MediumLanguage.Clafer.IG.CommandLineParser
modelInstanceLanguage.Clafer.IG.ClaferIG
MultiplicityLanguage.Clafer.IG.AlloyIGInterface
NextLanguage.Clafer.IG.CommandLineParser
nextLanguage.Clafer.IG.ClaferIG
NoInstanceLanguage.Clafer.IG.ClaferIG
no_layout_compLanguage.Clafer.IG.ClaferIG
OneLanguage.Clafer.IG.AlloyIGInterface
parseCommandLineLanguage.Clafer.IG.CommandLineParser
parseCommandLineAutoCompleteLanguage.Clafer.IG.CommandLineParser
parseConstraintsLanguage.Clafer.IG.Constraints
parseSolutionLanguage.Clafer.IG.Solution
pickLargerScopeLanguage.Clafer.IG.CommandLine
pIdLanguage.Clafer.IG.Constraints
pipeProcessLanguage.Clafer.IG.Process
posLanguage.Clafer.IG.Constraints
printErrorLanguage.Clafer.IG.CommandLine
procLanguage.Clafer.IG.AlloyIGInterface
ProcessLanguage.Clafer.IG.Process
putMessageLanguage.Clafer.IG.Process
putMsgLanguage.Clafer.IG.AlloyIGInterface
qNameMapsLanguage.Clafer.IG.ClaferIG
QuitLanguage.Clafer.IG.CommandLineParser
quitLanguage.Clafer.IG.ClaferIG
rangeLanguage.Clafer.IG.Constraints
readMessageLanguage.Clafer.IG.Process
readMsgLanguage.Clafer.IG.AlloyIGInterface
ReloadLanguage.Clafer.IG.CommandLineParser
reloadLanguage.Clafer.IG.ClaferIG
removedConstraintsLanguage.Clafer.IG.ClaferIG
requiredBitwidthLanguage.Clafer.IG.CommandLine
runAlloyIGTLanguage.Clafer.IG.AlloyIGInterface
runClaferIGTLanguage.Clafer.IG.ClaferIG
runCommandLineLanguage.Clafer.IG.CommandLine
SaveLanguage.Clafer.IG.CommandLineParser
saveDirLanguage.Clafer.IG.ClaferIG
SaveScopesLanguage.Clafer.IG.CommandLineParser
scopesLanguage.Clafer.IG.AlloyIGInterface
scope_strategy_compLanguage.Clafer.IG.ClaferIG
sendLoadCommandLanguage.Clafer.IG.AlloyIGInterface
sendNextCommandLanguage.Clafer.IG.AlloyIGInterface
sendQuitCommandLanguage.Clafer.IG.AlloyIGInterface
sendRemoveConstraintCommandLanguage.Clafer.IG.AlloyIGInterface
sendResolveCommandLanguage.Clafer.IG.AlloyIGInterface
sendRestoreStateCommandLanguage.Clafer.IG.AlloyIGInterface
sendSaveStateCommandLanguage.Clafer.IG.AlloyIGInterface
sendSetBitwidthCommandLanguage.Clafer.IG.AlloyIGInterface
sendSetGlobalScopeCommandLanguage.Clafer.IG.AlloyIGInterface
sendSetScopeCommandLanguage.Clafer.IG.AlloyIGInterface
sendSetUnsatCoreMinimizationCommandLanguage.Clafer.IG.AlloyIGInterface
sendUnsatCoreCommandLanguage.Clafer.IG.AlloyIGInterface
setLanguage.Clafer.IG.AlloyIGInterface
setAlloyScopeLanguage.Clafer.IG.ClaferIG
SetBitwidthLanguage.Clafer.IG.CommandLineParser
setBitwidthLanguage.Clafer.IG.ClaferIG
SetGlobalScopeLanguage.Clafer.IG.CommandLineParser
setGlobalScopeLanguage.Clafer.IG.ClaferIG
SetMaxIntLanguage.Clafer.IG.CommandLineParser
SetScopeLanguage.Clafer.IG.CommandLineParser
setScopeLanguage.Clafer.IG.ClaferIG
SetUnsatCoreMinimizationLanguage.Clafer.IG.CommandLineParser
setUnsatCoreMinimizationLanguage.Clafer.IG.ClaferIG
ShowAlloyInstanceLanguage.Clafer.IG.CommandLineParser
ShowAlloyModelLanguage.Clafer.IG.CommandLineParser
ShowClaferModelLanguage.Clafer.IG.CommandLineParser
ShowScopesLanguage.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
sigMapLanguage.Clafer.IG.AlloyIGInterface
sigToClaferNameLanguage.Clafer.IG.ClaferIG
skip_resolver_compLanguage.Clafer.IG.ClaferIG
Solution 
1 (Type/Class)Language.Clafer.IG.Solution
2 (Data Constructor)Language.Clafer.IG.Solution
solveLanguage.Clafer.IG.ClaferIG
SomeLanguage.Clafer.IG.AlloyIGInterface
strictReadFileLanguage.Clafer.IG.ClaferIG
StringValueLanguage.Clafer.IG.ClaferModel
strMapLanguage.Clafer.IG.ClaferIG
sugarClaferModelLanguage.Clafer.IG.Sugarer
syntaxLanguage.Clafer.IG.Constraints
s_atomsLanguage.Clafer.IG.Solution
s_fieldsLanguage.Clafer.IG.Solution
s_idLanguage.Clafer.IG.Solution
s_labelLanguage.Clafer.IG.Solution
s_multiplicityLanguage.Clafer.IG.AlloyIGInterface
s_nameLanguage.Clafer.IG.AlloyIGInterface
s_parentIdLanguage.Clafer.IG.Solution
s_sigsLanguage.Clafer.IG.Solution
s_startingScopeLanguage.Clafer.IG.AlloyIGInterface
s_subsetLanguage.Clafer.IG.AlloyIGInterface
traverseLanguage.Clafer.IG.ClaferModel
Tuple 
1 (Type/Class)Language.Clafer.IG.Solution
2 (Data Constructor)Language.Clafer.IG.Solution
t_fromLanguage.Clafer.IG.Solution
t_fromTypeLanguage.Clafer.IG.Solution
t_toLanguage.Clafer.IG.Solution
t_toTypeLanguage.Clafer.IG.Solution
unexpectedMessageLanguage.Clafer.IG.CommandLineParser
uniqueIdLanguage.Clafer.IG.Constraints
unsatConstraintsLanguage.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
UnsatCoreMinimizationLanguage.Clafer.IG.CommandLineParser
upperLanguage.Clafer.IG.Constraints
UpperCardinalityConstraintLanguage.Clafer.IG.Constraints
UserConstraintLanguage.Clafer.IG.Constraints
useUidsLanguage.Clafer.IG.ClaferIG
ValueLanguage.Clafer.IG.ClaferModel
valueOfScopeLanguage.Clafer.IG.ClaferIG
v_strLanguage.Clafer.IG.ClaferModel
v_valueLanguage.Clafer.IG.ClaferModel
waitForLanguage.Clafer.IG.Process
withinRangeLanguage.Clafer.IG.AlloyIGInterface