| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.Reach.Property
Description
originally from Autotool (https:/gitlab.imn.htwk-leipzig.deautotool/all0) based on revision: ad25a990816a162fdd13941ff889653f22d6ea0a based on file: collectionsrcPetri/Property.hs
Synopsis
- data Property
- validates :: forall f a b (m :: Type -> Type). (Foldable f, Ord a, Ord b, OutputCapable m, Show a, Show b) => f Property -> Net a b -> LangM m
- validate :: forall a t (m :: Type -> Type). (Ord a, Ord t, OutputCapable m, Show a, Show t) => Property -> Net a t -> LangM m
- guardBound :: forall a (m :: Type -> Type). (Ord a, OutputCapable m, Show a) => String -> a -> a -> LangM m
- satisfiesAtAnyState :: (Ord s, Ord t, Show s, Show t) => (State s -> Bool) -> Net s t -> [t] -> Bool
Documentation
Constructors
| Default | |
| MaxNumPlaces Int | |
| MaxNumTransitions Int | |
| MaxEdgeMultiplicity Int | |
| MaxInitialTokens Int | |
| Capacity (Capacity ()) |
Instances
validates :: forall f a b (m :: Type -> Type). (Foldable f, Ord a, Ord b, OutputCapable m, Show a, Show b) => f Property -> Net a b -> LangM m Source #
validate :: forall a t (m :: Type -> Type). (Ord a, Ord t, OutputCapable m, Show a, Show t) => Property -> Net a t -> LangM m Source #