Safe Haskell	None
Language	Haskell2010

Modelling.ActivityDiagram.SelectPetri

Documentation

data SelectPetriInstance Source #

Constructors

SelectPetriInstance
Fields activityDiagram :: UMLActivityDiagram plantUMLConf :: PlantUmlConfig petriDrawConf :: DrawSettings petriNets :: Map Int (Bool, SimplePetriLike PetriKey) showSolution :: Bool addText :: ExtraText

Instances

Instances details

Reader SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

atomic_reader :: Parser SelectPetriInstance

atomic_readerPrec :: Int -> Parser SelectPetriInstance

reader :: Parser SelectPetriInstance

readerPrec :: Int -> Parser SelectPetriInstance

readerList :: Parser [SelectPetriInstance]

ToDoc SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

toDocPrec :: Int -> SelectPetriInstance -> Doc

toDocList :: [SelectPetriInstance] -> Doc

Generic SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Associated Types

type Rep SelectPetriInstance

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

type Rep SelectPetriInstance = D1 ('MetaData "SelectPetriInstance" "Modelling.ActivityDiagram.SelectPetri" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "SelectPetriInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :*: (S1 ('MetaSel ('Just "plantUMLConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlantUmlConfig) :*: S1 ('MetaSel ('Just "petriDrawConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DrawSettings))) :*: (S1 ('MetaSel ('Just "petriNets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int (Bool, SimplePetriLike PetriKey))) :*: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText)))))

Methods

from :: SelectPetriInstance -> Rep SelectPetriInstance x #

to :: Rep SelectPetriInstance x -> SelectPetriInstance #

Read SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

readsPrec :: Int -> ReadS SelectPetriInstance #

readList :: ReadS [SelectPetriInstance] #

readPrec :: ReadPrec SelectPetriInstance #

readListPrec :: ReadPrec [SelectPetriInstance] #

Show SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

showsPrec :: Int -> SelectPetriInstance -> ShowS #

show :: SelectPetriInstance -> String #

showList :: [SelectPetriInstance] -> ShowS #

Eq SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

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

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

Hashable SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

hashWithSalt :: Int -> SelectPetriInstance -> Int

hash :: SelectPetriInstance -> Int

type Rep SelectPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

type Rep SelectPetriInstance = D1 ('MetaData "SelectPetriInstance" "Modelling.ActivityDiagram.SelectPetri" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "SelectPetriInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :*: (S1 ('MetaSel ('Just "plantUMLConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlantUmlConfig) :*: S1 ('MetaSel ('Just "petriDrawConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DrawSettings))) :*: (S1 ('MetaSel ('Just "petriNets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int (Bool, SimplePetriLike PetriKey))) :*: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText)))))

data SelectPetriConfig Source #

Constructors

SelectPetriConfig

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
hidePetriNodeLabels :: Bool
petriLayout :: [GraphvizCommand]
petriSvgHighlighting :: Bool
Whether highlighting on hover should be enabled
numberOfWrongAnswers :: Int
numberOfModifications :: Int
modifyAtMid :: Bool
auxiliaryPetriNodeAbsent :: Maybe Bool
Option to prevent auxiliary PetriNodes from occurring
presenceOfSinkTransitionsForFinals :: Maybe Bool
Force presence or absence of new sink transitions for representing finals
withActivityFinalInForkBlocks :: !(Maybe Bool)
Avoid Activity Finals in concurrent flows to reduce confusion
printSolution :: Bool
extraText :: ExtraText

Instances

Instances details

Reader SelectPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

atomic_reader :: Parser SelectPetriConfig

atomic_readerPrec :: Int -> Parser SelectPetriConfig

reader :: Parser SelectPetriConfig

readerPrec :: Int -> Parser SelectPetriConfig

readerList :: Parser [SelectPetriConfig]

ToDoc SelectPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

toDocPrec :: Int -> SelectPetriConfig -> Doc

toDocList :: [SelectPetriConfig] -> Doc

Generic SelectPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Associated Types

type Rep SelectPetriConfig

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

from :: SelectPetriConfig -> Rep SelectPetriConfig x #

to :: Rep SelectPetriConfig x -> SelectPetriConfig #

Read SelectPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

readsPrec :: Int -> ReadS SelectPetriConfig #

readList :: ReadS [SelectPetriConfig] #

readPrec :: ReadPrec SelectPetriConfig #

readListPrec :: ReadPrec [SelectPetriConfig] #

Show SelectPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

Methods

showsPrec :: Int -> SelectPetriConfig -> ShowS #

show :: SelectPetriConfig -> String #

showList :: [SelectPetriConfig] -> ShowS #

type Rep SelectPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectPetri

data SelectPetriSolution Source #

Constructors

SelectPetriSolution
Fields matchingNet :: SimplePetriLike PetriKey wrongNets :: [SimplePetriLike PetriKey]

Instances

Instances details

Show SelectPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri Methods showsPrec :: Int -> SelectPetriSolution -> ShowS # show :: SelectPetriSolution -> String # showList :: [SelectPetriSolution] -> ShowS #

defaultSelectPetriConfig :: SelectPetriConfig Source #

checkSelectPetriConfig :: SelectPetriConfig -> Maybe String Source #

checkPetriInstance :: SelectPetriInstance -> SelectPetriConfig -> Maybe String Source #

selectPetriAlloy :: SelectPetriConfig -> String Source #

selectPetriNet :: MonadRandom m => Int -> Int -> Bool -> (Int, Maybe Int) -> UMLActivityDiagram -> m SelectPetriSolution Source #

selectPetriNetWithMatchingNet :: MonadRandom m => Int -> Int -> Bool -> (Int, Maybe Int) -> UMLActivityDiagram -> SimplePetriLike PetriKey -> m SelectPetriSolution Source #

selectPetriTask :: forall (m :: Type -> Type). (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadPlantUml m, MonadThrow m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectPetriInstance -> LangM m Source #

selectPetriSyntax :: forall (m :: Type -> Type). OutputCapable m => SelectPetriInstance -> Int -> LangM m Source #

selectPetriEvaluation :: forall (m :: Type -> Type). (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadPlantUml m, MonadThrow m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectPetriInstance -> Int -> LangM m Source #

selectPetriSolution :: SelectPetriInstance -> Int Source #

selectPetri :: (MonadAlloy m, MonadThrow m) => SelectPetriConfig -> Int -> Int -> m SelectPetriInstance Source #

defaultSelectPetriInstance :: SelectPetriInstance Source #