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

Index

AlloyInstanceLanguage.Alloy.Call
AlloySigLanguage.Alloy.Call
CallAlloyConfigLanguage.Alloy.Call
defaultCallAlloyConfigLanguage.Alloy.Call
EntriesLanguage.Alloy.Call
existsInstanceLanguage.Alloy.Call
getDoubleLanguage.Alloy.Call
getInstancesLanguage.Alloy.Call
getInstancesWithLanguage.Alloy.Call
getSingleLanguage.Alloy.Call
getTripleLanguage.Alloy.Call
lookupSigLanguage.Alloy.Call
maxInstancesLanguage.Alloy.Call
noOverflowLanguage.Alloy.Call
ObjectLanguage.Alloy.Call
objectNameLanguage.Alloy.Call
relToMapLanguage.Alloy.Call
scopedLanguage.Alloy.Call
SignatureLanguage.Alloy.Call
unscopedLanguage.Alloy.Call