Class ResetArc

Hierarchy (view full)

PlaceTransitionArc
- ResetArc

Index

Constructors

Properties

Accessors

breakpoints destination id multiplicity reference source type

Methods

assertCanFire canFire clone cloneAttributes compare consume

Constructors

constructor

new ResetArc(source, target, id): ResetArc
Parameters
- source: Place
- target: Transition
- id: string
Returns ResetArc
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/reset-arc.ts:26

Methods

assertCanFire

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

canFire

canFire(): boolean
Reset arc does not impose a precondition on firing.

Returns boolean
always true
Overrides PlaceTransitionArc.canFire
- Defined in model/arc/reset-arc.ts:22

clone

clone(): ResetArc
Returns ResetArc
Overrides PlaceTransitionArc.clone
- Defined in model/arc/reset-arc.ts:30

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
Reset arc consumes all tokens from the input place. Since reset arc does not impose any precondition on firing, this function does not throw any error.

Returns number
number of consumed tokens = number of tokens in input place.
Overrides PlaceTransitionArc.consume
- Defined in model/arc/reset-arc.ts:12