call-alloy-0.5: A simple library to call Alloy given a specification (Index)

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

Index

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