claferIG-0.3.7: claferIG is an interactive tool that generates instances of Clafer models. (Index - S)

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

A
B
C
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
All

Index - S

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