Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Documentation

data FindAuxiliaryPetriNodesConfig Source #

Constructors

FindAuxiliaryPetriNodesConfig

Fields

adConfig :: AdConfig
countOfPetriNodesBounds :: !(Int, Maybe Int)
generate only activity diagrams with a corresponding Petri net having a total count of nodes within the given bounds
maxInstances :: Maybe Integer
hideNodeNames :: Bool
hideBranchConditions :: Bool
presenceOfSinkTransitionsForFinals :: Maybe Bool
Force presence or absence of new sink transitions for representing finals
printSolution :: Bool
extraText :: Maybe (Map Language String)

Instances

Instances details

Generic FindAuxiliaryPetriNodesConfig Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Associated Types type Rep FindAuxiliaryPetriNodesConfig :: Type -> Type # Methods from :: FindAuxiliaryPetriNodesConfig -> Rep FindAuxiliaryPetriNodesConfig x # to :: Rep FindAuxiliaryPetriNodesConfig x -> FindAuxiliaryPetriNodesConfig #
Read FindAuxiliaryPetriNodesConfig Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods readsPrec :: Int -> ReadS FindAuxiliaryPetriNodesConfig # readList :: ReadS [FindAuxiliaryPetriNodesConfig] # readPrec :: ReadPrec FindAuxiliaryPetriNodesConfig # readListPrec :: ReadPrec [FindAuxiliaryPetriNodesConfig] #
Show FindAuxiliaryPetriNodesConfig Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods showsPrec :: Int -> FindAuxiliaryPetriNodesConfig -> ShowS # show :: FindAuxiliaryPetriNodesConfig -> String # showList :: [FindAuxiliaryPetriNodesConfig] -> ShowS #
type Rep FindAuxiliaryPetriNodesConfig Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes type Rep FindAuxiliaryPetriNodesConfig = D1 ('MetaData "FindAuxiliaryPetriNodesConfig" "Modelling.ActivityDiagram.FindAuxiliaryPetriNodes" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "FindAuxiliaryPetriNodesConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "adConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdConfig) :: S1 ('MetaSel ('Just "countOfPetriNodesBounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Int, Maybe Int))) :: (S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :: S1 ('MetaSel ('Just "hideNodeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :: ((S1 ('MetaSel ('Just "hideBranchConditions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "presenceOfSinkTransitionsForFinals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String)))))))

data FindAuxiliaryPetriNodesInstance Source #

Constructors

FindAuxiliaryPetriNodesInstance
Fields activityDiagram :: UMLActivityDiagram matchingNet :: SimplePetriLike PetriKey plantUMLConf :: PlantUmlConfig showSolution :: Bool addText :: Maybe (Map Language String)

Instances

Instances details

Generic FindAuxiliaryPetriNodesInstance Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Associated Types type Rep FindAuxiliaryPetriNodesInstance :: Type -> Type # Methods from :: FindAuxiliaryPetriNodesInstance -> Rep FindAuxiliaryPetriNodesInstance x # to :: Rep FindAuxiliaryPetriNodesInstance x -> FindAuxiliaryPetriNodesInstance #
Read FindAuxiliaryPetriNodesInstance Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods readsPrec :: Int -> ReadS FindAuxiliaryPetriNodesInstance # readList :: ReadS [FindAuxiliaryPetriNodesInstance] # readPrec :: ReadPrec FindAuxiliaryPetriNodesInstance # readListPrec :: ReadPrec [FindAuxiliaryPetriNodesInstance] #
Show FindAuxiliaryPetriNodesInstance Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods showsPrec :: Int -> FindAuxiliaryPetriNodesInstance -> ShowS # show :: FindAuxiliaryPetriNodesInstance -> String # showList :: [FindAuxiliaryPetriNodesInstance] -> ShowS #
type Rep FindAuxiliaryPetriNodesInstance Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes type Rep FindAuxiliaryPetriNodesInstance = D1 ('MetaData "FindAuxiliaryPetriNodesInstance" "Modelling.ActivityDiagram.FindAuxiliaryPetriNodes" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "FindAuxiliaryPetriNodesInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :: S1 ('MetaSel ('Just "matchingNet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimplePetriLike PetriKey))) :: (S1 ('MetaSel ('Just "plantUMLConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlantUmlConfig) :: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String)))))))

data FindAuxiliaryPetriNodesSolution Source #

Constructors

FindAuxiliaryPetriNodesSolution
Fields countOfNonAuxiliaryNodes :: Int countOfAuxiliaryPlaces :: Int countOfAuxiliaryTransitions :: Int

Instances

Instances details

Generic FindAuxiliaryPetriNodesSolution Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Associated Types type Rep FindAuxiliaryPetriNodesSolution :: Type -> Type # Methods from :: FindAuxiliaryPetriNodesSolution -> Rep FindAuxiliaryPetriNodesSolution x # to :: Rep FindAuxiliaryPetriNodesSolution x -> FindAuxiliaryPetriNodesSolution #
Read FindAuxiliaryPetriNodesSolution Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods readsPrec :: Int -> ReadS FindAuxiliaryPetriNodesSolution # readList :: ReadS [FindAuxiliaryPetriNodesSolution] # readPrec :: ReadPrec FindAuxiliaryPetriNodesSolution # readListPrec :: ReadPrec [FindAuxiliaryPetriNodesSolution] #
Show FindAuxiliaryPetriNodesSolution Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods showsPrec :: Int -> FindAuxiliaryPetriNodesSolution -> ShowS # show :: FindAuxiliaryPetriNodesSolution -> String # showList :: [FindAuxiliaryPetriNodesSolution] -> ShowS #
Eq FindAuxiliaryPetriNodesSolution Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes Methods (==) :: FindAuxiliaryPetriNodesSolution -> FindAuxiliaryPetriNodesSolution -> Bool # (/=) :: FindAuxiliaryPetriNodesSolution -> FindAuxiliaryPetriNodesSolution -> Bool #
type Rep FindAuxiliaryPetriNodesSolution Source #
Instance details Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes type Rep FindAuxiliaryPetriNodesSolution = D1 ('MetaData "FindAuxiliaryPetriNodesSolution" "Modelling.ActivityDiagram.FindAuxiliaryPetriNodes" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "FindAuxiliaryPetriNodesSolution" 'PrefixI 'True) (S1 ('MetaSel ('Just "countOfNonAuxiliaryNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "countOfAuxiliaryPlaces") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "countOfAuxiliaryTransitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

checkFindAuxiliaryPetriNodesConfig :: FindAuxiliaryPetriNodesConfig -> Maybe String Source #

defaultFindAuxiliaryPetriNodesConfig :: FindAuxiliaryPetriNodesConfig Source #

defaultFindAuxiliaryPetriNodesInstance :: FindAuxiliaryPetriNodesInstance Source #

findAuxiliaryPetriNodes :: (MonadAlloy m, MonadThrow m) => FindAuxiliaryPetriNodesConfig -> Int -> Int -> m FindAuxiliaryPetriNodesInstance Source #

findAuxiliaryPetriNodesAlloy :: FindAuxiliaryPetriNodesConfig -> String Source #

findAuxiliaryPetriNodesEvaluation :: OutputCapable m => FindAuxiliaryPetriNodesInstance -> FindAuxiliaryPetriNodesSolution -> Rated m Source #

findAuxiliaryPetriNodesInitial :: FindAuxiliaryPetriNodesSolution Source #

findAuxiliaryPetriNodesSolution :: FindAuxiliaryPetriNodesInstance -> FindAuxiliaryPetriNodesSolution Source #

findAuxiliaryPetriNodesTask :: (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> FindAuxiliaryPetriNodesInstance -> LangM m Source #