org.jbpt.petri.unfolding

Class AbstractPossibleExtensions<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.TreeSet<E>

org.jbpt.petri.unfolding.AbstractPossibleExtensions<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

Serializable, Cloneable, Iterable<E>, Collection<E>, NavigableSet<E>, Set<E>, SortedSet<E>, IPossibleExtensions<BPN,C,E,F,N,P,T,M>

public class AbstractPossibleExtensions<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends TreeSet<E>
implements IPossibleExtensions<BPN,C,E,F,N,P,T,M>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AbstractPossibleExtensions(IAdequateOrder<BPN,C,E,F,N,P,T,M> order)

Method Summary

Methods

Modifier and Type	Method and Description
E	getMinimal()

Methods inherited from class java.util.TreeSet

add, addAll, ceiling, clear, clone, comparator, contains, descendingIterator, descendingSet, first, floor, headSet, headSet, higher, isEmpty, iterator, last, lower, pollFirst, pollLast, remove, size, subSet, subSet, tailSet, tailSet

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.SortedSet

comparator, first, headSet, last, subSet, tailSet

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Constructor Detail

AbstractPossibleExtensions

public AbstractPossibleExtensions(IAdequateOrder<BPN,C,E,F,N,P,T,M> order)

Method Detail

getMinimal

public E getMinimal()

Specified by:

getMinimal in interface IPossibleExtensions<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>