call-alloy-0.5.0.1: A simple library to call Alloy given a specification

Index

AlloyInstanceLanguage.Alloy.Call
AlloyLookupFailedLanguage.Alloy.Exceptions
AlloyObjectNameMismatch 
1 (Type/Class)Language.Alloy.Exceptions
2 (Data Constructor)Language.Alloy.Exceptions
AlloyResponseFailureLanguage.Alloy.Exceptions
AlloySigLanguage.Alloy.Call
Alternatives 
1 (Type/Class)Language.Alloy.Exceptions
2 (Data Constructor)Language.Alloy.Exceptions
BerkMinLanguage.Alloy.Call
CallAlloyConfigLanguage.Alloy.Call
CallAlloyException 
1 (Type/Class)Language.Alloy.Exceptions
2 (Data Constructor)Language.Alloy.Exceptions
defaultCallAlloyConfigLanguage.Alloy.Call
EntriesLanguage.Alloy.Call
existsInstanceLanguage.Alloy.Call
Expected 
1 (Type/Class)Language.Alloy.Exceptions
2 (Data Constructor)Language.Alloy.Exceptions
ExpectedDoubleRelationshipLanguage.Alloy.Exceptions
ExpectedIdenticalRelationshipLanguage.Alloy.Exceptions
ExpectedSingleRelationshipLanguage.Alloy.Exceptions
ExpectedTripleRelationshipLanguage.Alloy.Exceptions
getDoubleAsLanguage.Alloy.Call
getIdentityAsLanguage.Alloy.Call
getInstancesLanguage.Alloy.Call
getInstancesWithLanguage.Alloy.Call
getRawInstancesLanguage.Alloy.Debug
getRawInstancesWithLanguage.Alloy.Debug
getSingleAsLanguage.Alloy.Call
getTripleAsLanguage.Alloy.Call
GlucoseLanguage.Alloy.Call
Glucose41Language.Alloy.Call
Got 
1 (Type/Class)Language.Alloy.Exceptions
2 (Data Constructor)Language.Alloy.Exceptions
intLanguage.Alloy.Call
LingelingLanguage.Alloy.Call
LookupAlloyRelationFailedLanguage.Alloy.Exceptions
LookupAlloySignatureFailedLanguage.Alloy.Exceptions
lookupSigLanguage.Alloy.Call
maxInstancesLanguage.Alloy.Call
MiniSatLanguage.Alloy.Call
MiniSatProverLanguage.Alloy.Call
noOverflowLanguage.Alloy.Call
ObjectLanguage.Alloy.Call
objectLanguage.Alloy.Call
parseInstanceLanguage.Alloy.Debug
ParsingAlloyResponseFailedLanguage.Alloy.Exceptions
PLingelingLanguage.Alloy.Call
RelationName 
1 (Type/Class)Language.Alloy.Exceptions
2 (Data Constructor)Language.Alloy.Exceptions
SAT4JLanguage.Alloy.Call
SatSolverLanguage.Alloy.Call
satSolverLanguage.Alloy.Call
scopedLanguage.Alloy.Call
SignatureLanguage.Alloy.Call
SpearLanguage.Alloy.Call
timeoutLanguage.Alloy.Call
unAlternativesLanguage.Alloy.Exceptions
unExpectedLanguage.Alloy.Exceptions
UnexpectedAlloyRelationLanguage.Alloy.Exceptions
unGotLanguage.Alloy.Exceptions
unRelationNameLanguage.Alloy.Exceptions
unscopedLanguage.Alloy.Call