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

Index

AlloyInstanceLanguage.Alloy.Call
AlloySigLanguage.Alloy.Call
BerkMinLanguage.Alloy.Call
CallAlloyConfigLanguage.Alloy.Call
defaultCallAlloyConfigLanguage.Alloy.Call
EntriesLanguage.Alloy.Call
existsInstanceLanguage.Alloy.Call
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
intLanguage.Alloy.Call
LingelingLanguage.Alloy.Call
lookupSigLanguage.Alloy.Call
maxInstancesLanguage.Alloy.Call
MiniSatLanguage.Alloy.Call
MiniSatProverLanguage.Alloy.Call
noOverflowLanguage.Alloy.Call
ObjectLanguage.Alloy.Call
objectLanguage.Alloy.Call
parseInstanceLanguage.Alloy.Debug
PLingelingLanguage.Alloy.Call
SAT4JLanguage.Alloy.Call
SatSolverLanguage.Alloy.Call
satSolverLanguage.Alloy.Call
scopedLanguage.Alloy.Call
SignatureLanguage.Alloy.Call
SpearLanguage.Alloy.Call
timeoutLanguage.Alloy.Call
unscopedLanguage.Alloy.Call