Uses of Class
org.oristool.analyzer.state.State

Packages that use State

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.analyzer.state	Generic state representation.
org.oristool.analyzer.stop	Stop conditions for state space exploration.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Uses of State in org.oristool.analyzer

Methods in org.oristool.analyzer that return State

Modifier and Type	Method	Description
State	Succession.getChild()
State	Succession.getParent()

Methods in org.oristool.analyzer with parameters of type State

Modifier and Type	Method	Description
Succession	SuccessionEvaluator.computeSuccession(M model, State state, E event)
Set<E>	EnabledEventsBuilder.getEnabledEvents(M model, State state)
void	Succession.setChild(State child)
void	Succession.setParent(State parent)

Constructors in org.oristool.analyzer with parameters of type State

Modifier	Constructor	Description
	Analyzer(AnalyzerComponentsFactory<M,E> componentsFactory, M model, State initialState)	Creates an analyzer that will use the objects provided by the given factory to analyze a model from some initial state.
	Succession(State parent, Event event, State child)	Creates a succession from parent to child.

Uses of State in org.oristool.analyzer.graph

Methods in org.oristool.analyzer.graph that return State

Modifier and Type	Method	Description
State	SuccessionGraph.getState(Node n)

Methods in org.oristool.analyzer.graph that return types with arguments of type State

Modifier and Type	Method	Description
Set<State>	SuccessionGraph.getStates()

Methods in org.oristool.analyzer.graph with parameters of type State

Modifier and Type	Method	Description
Node	SuccessionGraph.getNode(State s)

Method parameters in org.oristool.analyzer.graph with type arguments of type State

Modifier and Type	Method	Description
SuccessionGraph	SuccessionGraph.modifyStates(UnaryOperator<State> stateChange)	Modifies this graph by applying a function to each state.

Uses of State in org.oristool.analyzer.state

Methods in org.oristool.analyzer.state that return State

Modifier and Type	Method	Description
State	StateBuilder.build(D discreteState)

Uses of State in org.oristool.analyzer.stop

Constructor parameters in org.oristool.analyzer.stop with type arguments of type State

Modifier	Constructor	Description
	StateStopCriterion(Predicate<State> predicate)

Uses of State in org.oristool.models.pn

Methods in org.oristool.models.pn that return State

Modifier and Type	Method	Description
static State	InitialPetriStateBuilder.computeInitialState(PetriNet petriNet, Marking initialMarking)
static State	InitialPetriStateBuilder.computeInitialState(PetriNet pn, Marking initialMarking, boolean checkNewlyEnabled)	Builds an initial State instance from a marking.

Methods in org.oristool.models.pn with parameters of type State

Modifier and Type	Method	Description
Succession	PetriSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)

Uses of State in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen that return State

Modifier and Type	Method	Description
State	OneGenState.state()

Constructors in org.oristool.models.stpn.onegen with parameters of type State

Modifier	Constructor	Description
	OneGenState(State state)	Creates a new instance from a graph node.

Uses of State in org.oristool.models.stpn.trees

Methods in org.oristool.models.stpn.trees that return State

Modifier and Type	Method	Description
State	DeterministicEnablingStateBuilder.build(DeterministicEnablingState s)	Builds an initial State instance from a DeterministicEnablingState.
State	DeterministicEnablingTimedStateBuilder.build(DeterministicEnablingState s)
State	NewlyEnablingStateBuilder.build(Marking marking)

Methods in org.oristool.models.stpn.trees with parameters of type State

Modifier and Type	Method	Description
Succession	StochasticSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)

Uses of State in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return State

Modifier and Type	Method	Description
State	TimedComponentsFactory.buildInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.
State	InitialTimedStateBuilder.computeInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.

Methods in org.oristool.models.tpn with parameters of type State

Modifier and Type	Method	Description
Succession	TimedSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)

Uses of State in org.oristool.simulator

Methods in org.oristool.simulator that return State

Modifier and Type	Method	Description
State	SimulatorInitialStateBuilder.build(PetriNet petriNet, Marking initialMarking)

Methods in org.oristool.simulator with parameters of type State

Modifier and Type	Method	Description
Succession	SimulatorSuccessorEvaluator.computeSuccessor(PetriNet petriNet, State state, Transition fired)

Uses of State in org.oristool.simulator.stpn

Methods in org.oristool.simulator.stpn that return State

Modifier and Type	Method	Description
State	SimulatorSTPNInitialStateBuilder.build(PetriNet petriNet, Marking initialMarking)

Methods in org.oristool.simulator.stpn with parameters of type State

Modifier and Type	Method	Description
Succession	SimulatorSTPNSuccessorEvaluator.computeSuccessor(PetriNet petriNet, State state, Transition fired)