Documentation

checkFindConflictPlacesConfig :: FindConflictConfig -> Maybe String Source #

conflictInitial :: ConflictPlaces Source #

defaultFindConflictPlacesConfig :: FindConflictConfig Source #

defaultFindConflictPlacesInstance :: FindInstance SimplePetriNet Conflict Source #

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

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

parseConflictPlacesPrec :: Int -> Parser ConflictPlaces Source #

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