| AlloyInstance | Language.Alloy.Call |
| AlloyLookupFailed | Language.Alloy.Exceptions |
| AlloyObjectNameMismatch | |
| 1 (Type/Class) | Language.Alloy.Exceptions |
| 2 (Data Constructor) | Language.Alloy.Exceptions |
| AlloyResponseFailure | Language.Alloy.Exceptions |
| AlloySig | Language.Alloy.Call |
| Alternatives | |
| 1 (Type/Class) | Language.Alloy.Exceptions |
| 2 (Data Constructor) | Language.Alloy.Exceptions |
| BerkMin | Language.Alloy.Call |
| CallAlloyConfig | Language.Alloy.Call |
| CallAlloyException | |
| 1 (Type/Class) | Language.Alloy.Exceptions |
| 2 (Data Constructor) | Language.Alloy.Exceptions |
| defaultCallAlloyConfig | Language.Alloy.Call |
| Entries | Language.Alloy.Call |
| existsInstance | Language.Alloy.Call |
| Expected | |
| 1 (Type/Class) | Language.Alloy.Exceptions |
| 2 (Data Constructor) | Language.Alloy.Exceptions |
| ExpectedDoubleRelationship | Language.Alloy.Exceptions |
| ExpectedIdenticalRelationship | Language.Alloy.Exceptions |
| ExpectedSingleRelationship | Language.Alloy.Exceptions |
| ExpectedTripleRelationship | Language.Alloy.Exceptions |
| getDoubleAs | Language.Alloy.Call |
| getIdentityAs | Language.Alloy.Call |
| getInstances | Language.Alloy.Call |
| getInstancesWith | Language.Alloy.Call |
| getRawInstances | Language.Alloy.Debug |
| getRawInstancesWith | Language.Alloy.Debug |
| getSingleAs | Language.Alloy.Call |
| getTripleAs | Language.Alloy.Call |
| Glucose | Language.Alloy.Call |
| Glucose41 | Language.Alloy.Call |
| Got | |
| 1 (Type/Class) | Language.Alloy.Exceptions |
| 2 (Data Constructor) | Language.Alloy.Exceptions |
| int | Language.Alloy.Call |
| Lingeling | Language.Alloy.Call |
| LookupAlloyRelationFailed | Language.Alloy.Exceptions |
| LookupAlloySignatureFailed | Language.Alloy.Exceptions |
| lookupSig | Language.Alloy.Call |
| maxInstances | Language.Alloy.Call |
| MiniSat | Language.Alloy.Call |
| MiniSatProver | Language.Alloy.Call |
| noOverflow | Language.Alloy.Call |
| Object | Language.Alloy.Call |
| object | Language.Alloy.Call |
| parseInstance | Language.Alloy.Debug |
| ParsingAlloyResponseFailed | Language.Alloy.Exceptions |
| PLingeling | Language.Alloy.Call |
| RelationName | |
| 1 (Type/Class) | Language.Alloy.Exceptions |
| 2 (Data Constructor) | Language.Alloy.Exceptions |
| SAT4J | Language.Alloy.Call |
| SatSolver | Language.Alloy.Call |
| satSolver | Language.Alloy.Call |
| scoped | Language.Alloy.Call |
| Signature | Language.Alloy.Call |
| Spear | Language.Alloy.Call |
| timeout | Language.Alloy.Call |
| unAlternatives | Language.Alloy.Exceptions |
| unExpected | Language.Alloy.Exceptions |
| UnexpectedAlloyRelation | Language.Alloy.Exceptions |
| unGot | Language.Alloy.Exceptions |
| unRelationName | Language.Alloy.Exceptions |
| unscoped | Language.Alloy.Call |