Documentation

adConfigBitWidth :: AdConfig -> Int Source #

adConfigScope :: AdConfig -> Int Source #

adConfigToAlloy :: String -> String -> AdConfig -> String Source #

adConfigToAlloy' :: Int -> Int -> String -> String -> AdConfig -> String Source #

modulePetriNet :: String Source #

moduleActionSequencesRules :: String Source #