Safe Haskell	None
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

Reader PetriKey Source #

Instance details

Defined in Modelling.ActivityDiagram.PetriNet

Methods

atomic_reader :: Parser PetriKey

atomic_readerPrec :: Int -> Parser PetriKey

reader :: Parser PetriKey

readerPrec :: Int -> Parser PetriKey

readerList :: Parser [PetriKey]

ToDoc PetriKey Source #

Instance details

Defined in Modelling.ActivityDiagram.PetriNet

Methods

toDocPrec :: Int -> PetriKey -> Doc

toDocList :: [PetriKey] -> Doc

Generic PetriKey Source #

Instance details

Defined in Modelling.ActivityDiagram.PetriNet

Associated Types

type Rep PetriKey

Instance details

Defined in Modelling.ActivityDiagram.PetriNet

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

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 #

Hashable PetriKey Source #

Instance details

Defined in Modelling.ActivityDiagram.PetriNet

Methods

hashWithSalt :: Int -> PetriKey -> Int

hash :: PetriKey -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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 :: forall p (n :: Type -> Type). Net p n => UMLActivityDiagram -> p n PetriKey Source #

convertToSimple :: UMLActivityDiagram -> SimplePetriLike PetriKey Source #

isAuxiliaryPetriNode :: PetriKey -> Bool Source #

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