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 |