org.jbpt.petri

Interface IRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

All Superinterfaces:

Collection<IStep<F,N,P,T,M>>, Iterable<IStep<F,N,P,T,M>>, List<IStep<F,N,P,T,M>>

All Known Subinterfaces:

IUntanglingRun<F,N,P,T,M>

All Known Implementing Classes:

AbstractRun, AbstractUntanglingRun, Run, UntanglingRun

public interface IRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends List<IStep<F,N,P,T,M>>

Interface to a run (occurrence sequence) of an (INetSystem).

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	append(T transition) Append transition to this run.
IRun<F,N,P,T,M>	clone() Clone this run.
Set<T>	getPossibleExtensions() Get transitions that can fire and extend this run.
void	setNetSystem(INetSystem<F,N,P,T,M> system) Set net system of this run.

Methods inherited from interface java.util.List

add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray

Method Detail

getPossibleExtensions

Set<T> getPossibleExtensions()

Get transitions that can fire and extend this run.

Returns:

Set of possible extensions of this run.

append

boolean append(T transition)

Append transition to this run.

Parameters:

transition - Transition to append.

Returns:

true if transition was appended; otherwise false.

clone

IRun<F,N,P,T,M> clone()

Clone this run.

Returns:

Clone of this run.

setNetSystem

void setNetSystem(INetSystem<F,N,P,T,M> system)

Set net system of this run.

Parameters:

system - Net system to use as the originative system of this run.