Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.PetriNet.Reach.Deadlock

Description

originally from Autotool (https:/gitlab.imn.htwk-leipzig.deautotool/all0) based on revision: ad25a990816a162fdd13941ff889653f22d6ea0a based on file: collectionsrcPetri/Deadlock.hs

Documentation

verifyDeadlock :: (OutputCapable m, Show a, Show t, Ord t, Ord a) => DeadlockInstance a t -> LangM m Source #

deadlockTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, Ord s, Ord t, OutputCapable m, Show s, Show t) => FilePath -> DeadlockInstance s t -> LangM m Source #

deadlockInitial :: DeadlockInstance s Transition -> TransitionsList Source #

deadlockSyntax :: OutputCapable m => DeadlockInstance Place Transition -> [Transition] -> LangM m Source #

deadlockEvaluation :: (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> DeadlockInstance Place Transition -> [Transition] -> Rated m Source #

deadlockSolution :: Ord s => DeadlockInstance s t -> [t] Source #

data DeadlockInstance s t Source #

Constructors

DeadlockInstance
Fields drawUsing :: GraphvizCommand minLength :: Int noLongerThan :: Maybe Int petriNet :: Net s t showPlaceNames :: Bool showSolution :: Bool withLengthHint :: Maybe Int withMinLengthHint :: Bool

Instances

Instances details

Generic (DeadlockInstance s t) Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock Associated Types type Rep (DeadlockInstance s t) :: Type -> Type # Methods from :: DeadlockInstance s t -> Rep (DeadlockInstance s t) x # to :: Rep (DeadlockInstance s t) x -> DeadlockInstance s t #
(Read s, Read t, Ord s, Ord t) => Read (DeadlockInstance s t) Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock Methods readsPrec :: Int -> ReadS (DeadlockInstance s t) # readList :: ReadS [DeadlockInstance s t] # readPrec :: ReadPrec (DeadlockInstance s t) # readListPrec :: ReadPrec [DeadlockInstance s t] #
(Show s, Show t) => Show (DeadlockInstance s t) Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock Methods showsPrec :: Int -> DeadlockInstance s t -> ShowS # show :: DeadlockInstance s t -> String # showList :: [DeadlockInstance s t] -> ShowS #
type Rep (DeadlockInstance s t) Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock type Rep (DeadlockInstance s t) = D1 ('MetaData "DeadlockInstance" "Modelling.PetriNet.Reach.Deadlock" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "DeadlockInstance" 'PrefixI 'True) (((S1 ('MetaSel ('Just "drawUsing") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GraphvizCommand) :: S1 ('MetaSel ('Just "minLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "noLongerThan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :: S1 ('MetaSel ('Just "petriNet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Net s t)))) :: ((S1 ('MetaSel ('Just "showPlaceNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "withLengthHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "withMinLengthHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

bimapDeadlockInstance :: (Ord a, Ord b) => (s -> a) -> (t -> b) -> DeadlockInstance s t -> DeadlockInstance a b Source #

toShowDeadlockInstance :: DeadlockInstance Place Transition -> DeadlockInstance ShowPlace ShowTransition Source #

data DeadlockConfig Source #

Constructors

DeadlockConfig
Fields numPlaces :: Int numTransitions :: Int capacity :: Capacity Place drawCommands :: [GraphvizCommand] maxTransitionLength :: Int minTransitionLength :: Int postconditionsRange :: (Int, Maybe Int) preconditionsRange :: (Int, Maybe Int) printSolution :: Bool rejectLongerThan :: Maybe Int showLengthHint :: Bool showMinLengthHint :: Bool showPlaceNamesInNet :: Bool

Instances

Instances details

Generic DeadlockConfig Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock Associated Types type Rep DeadlockConfig :: Type -> Type # Methods from :: DeadlockConfig -> Rep DeadlockConfig x # to :: Rep DeadlockConfig x -> DeadlockConfig #
Read DeadlockConfig Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock Methods readsPrec :: Int -> ReadS DeadlockConfig # readList :: ReadS [DeadlockConfig] # readPrec :: ReadPrec DeadlockConfig # readListPrec :: ReadPrec [DeadlockConfig] #
Show DeadlockConfig Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock Methods showsPrec :: Int -> DeadlockConfig -> ShowS # show :: DeadlockConfig -> String # showList :: [DeadlockConfig] -> ShowS #
type Rep DeadlockConfig Source #
Instance details Defined in Modelling.PetriNet.Reach.Deadlock type Rep DeadlockConfig = D1 ('MetaData "DeadlockConfig" "Modelling.PetriNet.Reach.Deadlock" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "DeadlockConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "numPlaces") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "numTransitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "capacity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Capacity Place)))) :: (S1 ('MetaSel ('Just "drawCommands") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GraphvizCommand]) :: (S1 ('MetaSel ('Just "maxTransitionLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "minTransitionLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :: ((S1 ('MetaSel ('Just "postconditionsRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int)) :: (S1 ('MetaSel ('Just "preconditionsRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Maybe Int)) :: S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :: ((S1 ('MetaSel ('Just "rejectLongerThan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :: S1 ('MetaSel ('Just "showLengthHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "showMinLengthHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "showPlaceNamesInNet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))))

defaultDeadlockConfig :: DeadlockConfig Source #

defaultDeadlockInstance :: DeadlockInstance Place Transition Source #

checkDeadlockConfig :: DeadlockConfig -> Maybe String Source #

generateDeadlock :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m) => DeadlockConfig -> Int -> m (DeadlockInstance Place Transition) Source #

tries :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m) => Int -> DeadlockConfig -> Int -> m (Net Place Transition, GraphvizCommand) Source #

try :: MonadRandom m => DeadlockConfig -> m [(Int, Net Place Transition)] Source #

exampleInstance :: Net Int Int Source #