Uses of Class
org.oristool.analyzer.Succession

Packages that use Succession

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.policy	Enumeration policies for state space exploration.
org.oristool.analyzer.stop	Stop conditions for state space exploration.
org.oristool.models.pn	Analysis of Petri nets.
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.rewards	Simulation rewards.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Uses of Succession in org.oristool.analyzer

Methods in org.oristool.analyzer that return Succession

Modifier and Type	Method	Description
Succession	SuccessionEvaluator.computeSuccession(M model, State state, E event)
Succession	NoOpProcessor.process(Succession succession)
Succession	SuccessionProcessor.process(Succession succession)

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

Modifier and Type	Method	Description
default void	AnalyzerObserver.notifyNodeAdded(Succession succession)	Notifies the observer that the analyzer has added the child node of the given succession to the graph.
default void	AnalyzerObserver.notifySuccessionCreated(Succession succession)	Notifies the observer that the analyzer has created the given succession after firing one of the events in the extracted succession.
default void	AnalyzerObserver.notifySuccessionExtracted(Succession succession)	Notifies the observer that the analyzer has extracted the given succession from the policy.
default void	AnalyzerObserver.notifySuccessionInserted(Succession succession)	Notifies the observer that the analyzer has inserted the given succession into the policy queue.
default void	AnalyzerObserver.notifySuccessionPostProcessed(Succession succession)	Notifies the observer that the analyzer has post-processed the given succession.
default void	AnalyzerObserver.notifySuccessionPreProcessed(Succession succession)	Notifies the observer that the analyzer has pre-processed the given succession.
Succession	NoOpProcessor.process(Succession succession)
Succession	SuccessionProcessor.process(Succession succession)

Uses of Succession in org.oristool.analyzer.graph

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

Modifier and Type	Method	Description
Set<Succession>	SuccessionGraph.getIncomingSuccessions(Node n)	Returns a copy of all incoming successions of a node.
Set<Succession>	SuccessionGraph.getOutgoingSuccessions(Node n)	Returns a copy of all outgoing successions of a node.
Set<Succession>	SuccessionGraph.getSuccessions()	Returns a copy of all successions in the graph.
Set<Succession>	SuccessionGraph.getSuccessions(Node n1, Node n2)

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

Modifier and Type	Method	Description
boolean	SuccessionGraph.addSuccession(Succession s)	Adds a succession to the graph.

Uses of Succession in org.oristool.analyzer.policy

Methods in org.oristool.analyzer.policy that return Succession

Modifier and Type	Method	Description
Succession	EnumerationPolicy.remove()	Extracts a succession: its child node is the next state to be explored.
Succession	FIFOPolicy.remove()
Succession	LIFOPolicy.remove()
Succession	PriorityPolicy.remove()

Methods in org.oristool.analyzer.policy with parameters of type Succession

Modifier and Type	Method	Description
void	EnumerationPolicy.add(Succession succession)	Adds the succession child as a new state to be explored.
void	FIFOPolicy.add(Succession succession)
void	LIFOPolicy.add(Succession succession)
void	PriorityPolicy.add(Succession succession)

Constructor parameters in org.oristool.analyzer.policy with type arguments of type Succession

Modifier	Constructor	Description
	PriorityPolicy(Comparator<Succession> cos)

Uses of Succession in org.oristool.analyzer.stop

Methods in org.oristool.analyzer.stop with parameters of type Succession

Modifier and Type	Method	Description
void	AndStopCriterion.notifyNodeAdded(Succession succession)
void	IterationsNumberStopCriterion.notifyNodeAdded(Succession succession)
void	MonitorStopCriterion.notifyNodeAdded(Succession succession)
void	OrStopCriterion.notifyNodeAdded(Succession succession)
void	AndStopCriterion.notifySuccessionCreated(Succession succession)
void	OrStopCriterion.notifySuccessionCreated(Succession succession)
void	AndStopCriterion.notifySuccessionExtracted(Succession succession)
void	EventNameStopCriterion.notifySuccessionExtracted(Succession succession)
void	OrStopCriterion.notifySuccessionExtracted(Succession succession)
void	StateStopCriterion.notifySuccessionExtracted(Succession succession)
void	AndStopCriterion.notifySuccessionInserted(Succession succession)
void	OrStopCriterion.notifySuccessionInserted(Succession succession)
void	AndStopCriterion.notifySuccessionPostProcessed(Succession succession)
void	OrStopCriterion.notifySuccessionPostProcessed(Succession succession)
void	AndStopCriterion.notifySuccessionPreProcessed(Succession succession)
void	OrStopCriterion.notifySuccessionPreProcessed(Succession succession)

Uses of Succession in org.oristool.models.pn

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

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

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

Modifier and Type	Method	Description
void	MarkingConditionStopCriterion.notifySuccessionExtracted(Succession succession)

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

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

Modifier and Type	Method	Description
Succession	StochasticSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)
Succession	EnablingSyncsEvaluator.process(Succession succession)	Detects whether the succession corresponds to a regeneration.
Succession	NewlyEnablingEvaluator.process(Succession succession)
Succession	TruncationPolicy.remove()

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

Modifier and Type	Method	Description
void	TruncationPolicy.add(Succession succession)
void	RegenerativeStopCriterion.notifySuccessionExtracted(Succession succession)
Succession	EnablingSyncsEvaluator.process(Succession succession)	Detects whether the succession corresponds to a regeneration.
Succession	NewlyEnablingEvaluator.process(Succession succession)

Uses of Succession in org.oristool.models.tpn

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

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

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

Modifier and Type	Method	Description
void	TimeBoundStopCriterion.notifyNodeAdded(Succession succession)
void	TimeBoundStopCriterion.notifySuccessionCreated(Succession succession)
void	TimeBoundStopCriterion.notifySuccessionExtracted(Succession succession)
void	TimeBoundStopCriterion.notifySuccessionInserted(Succession succession)
void	TimeBoundStopCriterion.notifySuccessionPostProcessed(Succession succession)
void	TimeBoundStopCriterion.notifySuccessionPreProcessed(Succession succession)

Uses of Succession in org.oristool.simulator

Methods in org.oristool.simulator that return Succession

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

Uses of Succession in org.oristool.simulator.rewards

Methods in org.oristool.simulator.rewards with parameters of type Succession

Modifier and Type	Method	Description
BigDecimal	ContinuousRewardTime.getSojournTime(Succession succession)
BigDecimal	DiscreteRewardTime.getSojournTime(Succession succession)
BigDecimal	RewardTime.getSojournTime(Succession succession)

Uses of Succession in org.oristool.simulator.stpn

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

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