| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.Alloy
Synopsis
- data TaskGenerationException = NoInstanceAvailable
- compAdvConstraints :: AdvConfig -> String
- compBasicConstraints :: String -> BasicConfig -> String
- compChange :: ChangeConfig -> String
- connected :: String -> Maybe Bool -> String
- defaultConstraints :: String -> BasicConfig -> String
- isolated :: String -> Maybe Bool -> String
- moduleHelpers :: String
- modulePetriAdditions :: String
- modulePetriConcepts :: String
- modulePetriConstraints :: String
- modulePetriSignature :: String
- petriScopeBitWidth :: BasicConfig -> Int
- petriScopeMaxSeq :: BasicConfig -> Int
- signatures :: String -> Int -> Int -> String
- skolemVariable :: String -> String -> String
- taskInstance :: (MonadThrow m, RandomGen g, MonadAlloy m) => (f -> AlloyInstance -> RandT g m a) -> (config -> String) -> f -> (config -> AlloyConfig) -> config -> Int -> RandT g m a
- unscopedSingleSig :: MonadThrow m => AlloyInstance -> String -> String -> m (Set Object)
Documentation
data TaskGenerationException Source #
Constructors
| NoInstanceAvailable |
Instances
| Exception TaskGenerationException Source # | |
Defined in Modelling.Auxiliary.Common | |
| Show TaskGenerationException Source # | |
Defined in Modelling.Auxiliary.Common Methods showsPrec :: Int -> TaskGenerationException -> ShowS # show :: TaskGenerationException -> String # showList :: [TaskGenerationException] -> ShowS # | |
compAdvConstraints :: AdvConfig -> String Source #
Arguments
| :: String | The name of the Alloy variable for the set of activated Transitions. |
| -> BasicConfig | the configuration to enforce. |
| -> String |
A set of constraints enforcing settings of BasicConfig.
(Besides defaultConstraints)
compChange :: ChangeConfig -> String Source #
Arguments
| :: String | The name of the Alloy variable for the set of default activated Transitions. |
| -> BasicConfig | the configuration to enforce. |
| -> String |
A set of constraints enforcing settings of BasicConfig for the net under
default conditions.
petriScopeBitWidth :: BasicConfig -> Int Source #
petriScopeMaxSeq :: BasicConfig -> Int Source #
Arguments
| :: String | What kind of signatures to generate
(e.g., |
| -> Int | How many places of that kind |
| -> Int | How many transitions of that kind |
| -> String |
Generates signatures of the given kind, number of places and transitions.
taskInstance :: (MonadThrow m, RandomGen g, MonadAlloy m) => (f -> AlloyInstance -> RandT g m a) -> (config -> String) -> f -> (config -> AlloyConfig) -> config -> Int -> RandT g m a Source #
unscopedSingleSig :: MonadThrow m => AlloyInstance -> String -> String -> m (Set Object) Source #