Package org.oristool.analyzer.policy

Class PriorityPolicy

java.lang.Object

org.oristool.analyzer.policy.PriorityPolicy

All Implemented Interfaces:

EnumerationPolicy

public final class PriorityPolicy
extends Object
implements EnumerationPolicy

Priority enumeration policy.

Constructor Summary

Constructors

Constructor	Description
PriorityPolicy(Comparator<Succession> cos)

Method Summary

Modifier and Type	Method	Description
void	add(Succession succession)	Adds the succession child as a new state to be explored.
boolean	isEmpty()	Checks whether the set of states to explore is empty.
Succession	remove()	Extracts a succession: its child node is the next state to be explored.

Methods inherited from class java.lang.Object

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

Constructor Details

PriorityPolicy

public PriorityPolicy(Comparator<Succession> cos)

Method Details

add

public void add(Succession succession)

Description copied from interface: EnumerationPolicy

Adds the succession child as a new state to be explored.

Specified by:

add in interface EnumerationPolicy

Parameters:

succession - succession to be added

remove

public Succession remove()

Description copied from interface: EnumerationPolicy

Extracts a succession: its child node is the next state to be explored.

Specified by:

remove in interface EnumerationPolicy

Returns:

succession with next state

isEmpty

public boolean isEmpty()

Description copied from interface: EnumerationPolicy

Checks whether the set of states to explore is empty.

Specified by:

isEmpty in interface EnumerationPolicy

Returns:

true if no more states should be explored.