Uses of Interface
fr.lip6.move.pnml.ptnet.PTMarking

Packages that use PTMarking

Package	Description
fr.lip6.move.pnml.ptnet
fr.lip6.move.pnml.ptnet.hlapi
fr.lip6.move.pnml.ptnet.impl
fr.lip6.move.pnml.ptnet.util

Uses of PTMarking in fr.lip6.move.pnml.ptnet

Methods in fr.lip6.move.pnml.ptnet that return PTMarking

Modifier and Type	Method and Description
PTMarking	PtnetFactory.createPTMarking() Returns a new object of class 'PT Marking'
PTMarking	Place.getInitialMarking() Returns the value of the 'Initial Marking' containment reference.

Methods in fr.lip6.move.pnml.ptnet with parameters of type PTMarking

Modifier and Type	Method and Description
void	Place.setInitialMarking(PTMarking value) Sets the value of the 'Initial Marking' containment reference

Uses of PTMarking in fr.lip6.move.pnml.ptnet.hlapi

Methods in fr.lip6.move.pnml.ptnet.hlapi that return PTMarking

Modifier and Type	Method and Description
PTMarking	PTMarkingHLAPI.getContainedItem() Return encapsulated object
PTMarking	PlaceHLAPI.getInitialMarking() Return the encapsulate Low Level API object.

Constructors in fr.lip6.move.pnml.ptnet.hlapi with parameters of type PTMarking

Constructor and Description
PTMarkingHLAPI(PTMarking lowLevelAPI) This constructor encapsulate a low level API object in HLAPI.

Uses of PTMarking in fr.lip6.move.pnml.ptnet.impl

Classes in fr.lip6.move.pnml.ptnet.impl that implement PTMarking

Modifier and Type	Class and Description
class	PTMarkingImpl An implementation of the model object 'PT Marking'

Fields in fr.lip6.move.pnml.ptnet.impl declared as PTMarking

Modifier and Type	Field and Description
protected PTMarking	PlaceImpl.initialMarking The cached value of the 'Initial Marking' containment reference

Methods in fr.lip6.move.pnml.ptnet.impl that return PTMarking

Modifier and Type	Method and Description
PTMarking	PtnetFactoryImpl.createPTMarking()
PTMarking	PlaceImpl.getInitialMarking()

Methods in fr.lip6.move.pnml.ptnet.impl with parameters of type PTMarking

Modifier and Type	Method and Description
org.eclipse.emf.common.notify.NotificationChain	PlaceImpl.basicSetInitialMarking(PTMarking newInitialMarking, org.eclipse.emf.common.notify.NotificationChain msgs)
void	PlaceImpl.setInitialMarking(PTMarking newInitialMarking)

Uses of PTMarking in fr.lip6.move.pnml.ptnet.util

Methods in fr.lip6.move.pnml.ptnet.util with parameters of type PTMarking

Modifier and Type	Method and Description
T	PtnetSwitch.casePTMarking(PTMarking object) Returns the result of interpreting the object as an instance of 'PT Marking'
boolean	PtnetValidator.validatePTMarking_markingValueRange(PTMarking ptMarking, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context) Validates the markingValueRange constraint of 'PT Marking'
boolean	PtnetValidator.validatePTMarking(PTMarking ptMarking, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)