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 |