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

Index - S

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