modelling-tasks-0.0.0.1
Safe HaskellNone
LanguageHaskell2010

Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Documentation

data FindAuxiliaryPetriNodesConfig Source #

Constructors

FindAuxiliaryPetriNodesConfig 

Fields

Instances

Instances details
Reader FindAuxiliaryPetriNodesConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

atomic_reader :: Parser FindAuxiliaryPetriNodesConfig

atomic_readerPrec :: Int -> Parser FindAuxiliaryPetriNodesConfig

reader :: Parser FindAuxiliaryPetriNodesConfig

readerPrec :: Int -> Parser FindAuxiliaryPetriNodesConfig

readerList :: Parser [FindAuxiliaryPetriNodesConfig]

ToDoc FindAuxiliaryPetriNodesConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

toDocPrec :: Int -> FindAuxiliaryPetriNodesConfig -> Doc

toDocList :: [FindAuxiliaryPetriNodesConfig] -> Doc

Generic FindAuxiliaryPetriNodesConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Associated Types

type Rep FindAuxiliaryPetriNodesConfig 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

type Rep FindAuxiliaryPetriNodesConfig = D1 ('MetaData "FindAuxiliaryPetriNodesConfig" "Modelling.ActivityDiagram.FindAuxiliaryPetriNodes" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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 ExtraText)))))

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-2KiclaEArwR4yz1IHg8eKf" '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 ExtraText)))))

data FindAuxiliaryPetriNodesInstance Source #

Constructors

FindAuxiliaryPetriNodesInstance 

Fields

Instances

Instances details
Reader FindAuxiliaryPetriNodesInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

atomic_reader :: Parser FindAuxiliaryPetriNodesInstance

atomic_readerPrec :: Int -> Parser FindAuxiliaryPetriNodesInstance

reader :: Parser FindAuxiliaryPetriNodesInstance

readerPrec :: Int -> Parser FindAuxiliaryPetriNodesInstance

readerList :: Parser [FindAuxiliaryPetriNodesInstance]

ToDoc FindAuxiliaryPetriNodesInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

toDocPrec :: Int -> FindAuxiliaryPetriNodesInstance -> Doc

toDocList :: [FindAuxiliaryPetriNodesInstance] -> Doc

Generic FindAuxiliaryPetriNodesInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Associated Types

type Rep FindAuxiliaryPetriNodesInstance 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

type Rep FindAuxiliaryPetriNodesInstance = D1 ('MetaData "FindAuxiliaryPetriNodesInstance" "Modelling.ActivityDiagram.FindAuxiliaryPetriNodes" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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 ExtraText)))))

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 #

Eq FindAuxiliaryPetriNodesInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

(==) :: FindAuxiliaryPetriNodesInstance -> FindAuxiliaryPetriNodesInstance -> Bool #

(/=) :: FindAuxiliaryPetriNodesInstance -> FindAuxiliaryPetriNodesInstance -> Bool #

Hashable FindAuxiliaryPetriNodesInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

hashWithSalt :: Int -> FindAuxiliaryPetriNodesInstance -> Int

hash :: FindAuxiliaryPetriNodesInstance -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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 ExtraText)))))

data FindAuxiliaryPetriNodesSolution Source #

Constructors

FindAuxiliaryPetriNodesSolution 

Fields

Instances

Instances details
Reader FindAuxiliaryPetriNodesSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

atomic_reader :: Parser FindAuxiliaryPetriNodesSolution

atomic_readerPrec :: Int -> Parser FindAuxiliaryPetriNodesSolution

reader :: Parser FindAuxiliaryPetriNodesSolution

readerPrec :: Int -> Parser FindAuxiliaryPetriNodesSolution

readerList :: Parser [FindAuxiliaryPetriNodesSolution]

ToDoc FindAuxiliaryPetriNodesSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Methods

toDocPrec :: Int -> FindAuxiliaryPetriNodesSolution -> Doc

toDocList :: [FindAuxiliaryPetriNodesSolution] -> Doc

Generic FindAuxiliaryPetriNodesSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

Associated Types

type Rep FindAuxiliaryPetriNodesSolution 
Instance details

Defined in Modelling.ActivityDiagram.FindAuxiliaryPetriNodes

type Rep FindAuxiliaryPetriNodesSolution = D1 ('MetaData "FindAuxiliaryPetriNodesSolution" "Modelling.ActivityDiagram.FindAuxiliaryPetriNodes" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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))))

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-2KiclaEArwR4yz1IHg8eKf" '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 :: forall (m :: Type -> Type). OutputCapable m => FindAuxiliaryPetriNodesInstance -> FindAuxiliaryPetriNodesSolution -> Rated m Source #

findAuxiliaryPetriNodesInitial :: FindAuxiliaryPetriNodesSolution Source #

findAuxiliaryPetriNodesSolution :: FindAuxiliaryPetriNodesInstance -> FindAuxiliaryPetriNodesSolution Source #

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