Class ReadArc

Hierarchy (view full)

PlaceTransitionArc
- ReadArc

Index

Constructors

Properties

Accessors

breakpoints destination id multiplicity reference source type

Methods

assertCanFire canFire clone cloneAttributes compare consume

Constructors

constructor

new ReadArc(source, target, id): ReadArc
Parameters
- source: Place
- target: Transition
- id: string
Returns ReadArc
Inherited from PlaceTransitionArc.constructor
- Defined in model/arc/arc.ts:13

Properties

`Static`arcTypeMapping

arcTypeMapping: Map<ArcType, XmlArcType> = ...

Accessors

breakpoints

get breakpoints(): Breakpoint[]
Returns Breakpoint[]
Inherited from PlaceTransitionArc.breakpoints
- Defined in model/arc/arc.ts:63
set breakpoints(value): void
Parameters
- value: Breakpoint[]
Returns void
Inherited from PlaceTransitionArc.breakpoints
- Defined in model/arc/arc.ts:67

destination

get destination(): D
Returns D
Inherited from PlaceTransitionArc.destination
- Defined in model/arc/arc.ts:39
set destination(value): void
Parameters
- value: D
Returns void
Inherited from PlaceTransitionArc.destination
- Defined in model/arc/arc.ts:43

id

get id(): string
Returns string
Inherited from PlaceTransitionArc.id
- Defined in model/petrinet/element.ts:8
set id(value): void
Parameters
- value: string
Returns void
Inherited from PlaceTransitionArc.id
- Defined in model/petrinet/element.ts:12

multiplicity

get multiplicity(): number
Returns number
Inherited from PlaceTransitionArc.multiplicity
- Defined in model/arc/arc.ts:47
set multiplicity(value): void
Parameters
- value: number
Returns void
Inherited from PlaceTransitionArc.multiplicity
- Defined in model/arc/arc.ts:51

reference

get reference(): undefined | string
Returns undefined | string
Inherited from PlaceTransitionArc.reference
- Defined in model/arc/arc.ts:55
set reference(value): void
Parameters
- value: undefined | string
Returns void
Inherited from PlaceTransitionArc.reference
- Defined in model/arc/arc.ts:59

source

get source(): S
Returns S
Inherited from PlaceTransitionArc.source
- Defined in model/arc/arc.ts:31
set source(value): void
Parameters
- value: S
Returns void
Inherited from PlaceTransitionArc.source
- Defined in model/arc/arc.ts:35

type

get type(): ArcType
Returns ArcType
Overrides PlaceTransitionArc.type
- Defined in model/arc/read-arc.ts:25

Methods

assertCanFire

assertCanFire(): void
Returns void
Inherited from PlaceTransitionArc.assertCanFire
- Defined in model/arc/place-transition-arc.ts:11

canFire

canFire(): boolean
Read arc enables transition to fire if the input place contains at least as many tokens as the multiplicity of arc.

Returns boolean
true if place marking >= multiplicity, false otherwise
Overrides PlaceTransitionArc.canFire
- Defined in model/arc/read-arc.ts:21

clone

clone(): ReadArc
Returns ReadArc
Overrides PlaceTransitionArc.clone
- Defined in model/arc/read-arc.ts:29

cloneAttributes

cloneAttributes(cloned): void
Parameters
- cloned: Arc<Place, Transition>
Returns void
Inherited from PlaceTransitionArc.cloneAttributes
- Defined in model/arc/arc.ts:71

compare

compare(other): number
Parameters
- other: Element
Returns number
Inherited from PlaceTransitionArc.compare
- Defined in model/petrinet/element.ts:16

consume

consume(): number
Read arc does not consume any tokens from input place.

Returns number
always 0

Throws
Error if firing precondition is not fulfilled.
Overrides PlaceTransitionArc.consume
- Defined in model/arc/read-arc.ts:11