Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.ActivityDiagram.PetriNet

Documentation

data PetriKey Source #

Constructors

AuxiliaryPetriNode
Fields label :: Int
FinalPetriNode
Fields label :: Int sourceNode :: AdNode
NormalPetriNode
Fields label :: Int sourceNode :: AdNode

Instances

Instances details

Generic PetriKey Source #
Instance details Defined in Modelling.ActivityDiagram.PetriNet Associated Types type Rep PetriKey :: Type -> Type # Methods from :: PetriKey -> Rep PetriKey x # to :: Rep PetriKey x -> PetriKey #
Read PetriKey Source #
Instance details Defined in Modelling.ActivityDiagram.PetriNet Methods readsPrec :: Int -> ReadS PetriKey # readList :: ReadS [PetriKey] # readPrec :: ReadPrec PetriKey # readListPrec :: ReadPrec [PetriKey] #
Show PetriKey Source #
Instance details Defined in Modelling.ActivityDiagram.PetriNet Methods showsPrec :: Int -> PetriKey -> ShowS # show :: PetriKey -> String # showList :: [PetriKey] -> ShowS #
Eq PetriKey Source #
Instance details Defined in Modelling.ActivityDiagram.PetriNet Methods (==) :: PetriKey -> PetriKey -> Bool # (/=) :: PetriKey -> PetriKey -> Bool #
Ord PetriKey Source #
Instance details Defined in Modelling.ActivityDiagram.PetriNet Methods compare :: PetriKey -> PetriKey -> Ordering # (<) :: PetriKey -> PetriKey -> Bool # (<=) :: PetriKey -> PetriKey -> Bool # (>) :: PetriKey -> PetriKey -> Bool # (>=) :: PetriKey -> PetriKey -> Bool # max :: PetriKey -> PetriKey -> PetriKey # min :: PetriKey -> PetriKey -> PetriKey #
type Rep PetriKey Source #
Instance details Defined in Modelling.ActivityDiagram.PetriNet type Rep PetriKey = D1 ('MetaData "PetriKey" "Modelling.ActivityDiagram.PetriNet" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "AuxiliaryPetriNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "FinalPetriNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "sourceNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdNode)) :+: C1 ('MetaCons "NormalPetriNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "sourceNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdNode))))

convertToPetriNet :: Net p n => UMLActivityDiagram -> p n PetriKey Source #

convertToSimple :: UMLActivityDiagram -> SimplePetriLike PetriKey Source #

isAuxiliaryPetriNode :: PetriKey -> Bool Source #

updatePetriKey :: Map Int Int -> PetriKey -> PetriKey Source #