Documentation

checkFindConflictPlacesConfig :: FindConflictConfig -> Maybe String Source #

conflictInitial :: ConflictPlaces Source #

defaultFindConflictPlacesConfig :: FindConflictConfig Source #

defaultFindConflictPlacesInstance :: FindInstance SimplePetriNet Conflict Source #

findConflictPlacesSyntax :: forall (m :: Type -> Type) net. OutputCapable m => FindInstance net Conflict -> ConflictPlaces -> LangM' m () Source #

findConflictPlacesTask :: forall (n :: Type -> Type) p (m :: Type -> Type). (Data (n String), Data (p n String), MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, Net p n, OutputCapable m, Typeable n, Typeable p) => Bool -> FilePath -> FindInstance (p n String) Conflict -> LangM m Source #

parseConflictPlacesPrec :: Int -> Parser ConflictPlaces Source #

simpleFindConflictPlacesTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => Bool -> FilePath -> FindInstance SimplePetriNet Conflict -> LangM m Source #