Package org.oristool.models.stpn.trees

Class DeterministicEnablingTimedStateBuilder

java.lang.Object

org.oristool.models.stpn.trees.DeterministicEnablingTimedStateBuilder

All Implemented Interfaces:

StateBuilder<DeterministicEnablingState>

public final class DeterministicEnablingTimedStateBuilder
extends Object
implements StateBuilder<DeterministicEnablingState>

State builder for time Petri nets using deterministic enabling times.

Constructor Summary

Constructors

Constructor	Description
DeterministicEnablingTimedStateBuilder(PetriNet petriNet, boolean transientAnalysis)	Configures a state builder for TPNs.

Method Summary

Modifier and Type	Method	Description
State	build(DeterministicEnablingState s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DeterministicEnablingTimedStateBuilder

public DeterministicEnablingTimedStateBuilder(PetriNet petriNet,
 boolean transientAnalysis)

Configures a state builder for TPNs.

Parameters:

petriNet - Petri net

transientAnalysis - whether the state should include Variable.AGE

Method Details

build

public State build(DeterministicEnablingState s)

Specified by:

build in interface StateBuilder<DeterministicEnablingState>