org.jbpt.petri.unfolding

Interface ILocalConfiguration<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>>

All Superinterfaces:

Collection<E>, Iterable<E>, Set<E>

All Known Implementing Classes:

AbstractLocalConfiguration

public interface ILocalConfiguration<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 Set<E>

Method Summary

Methods

Modifier and Type	Method and Description
Integer	compareTransitions(T transition1, T transition2)
void	construct()
ICut<BPN,C,E,F,N,P,T,M>	getCut()
List<Set<E>>	getFoataNormalForm()
M	getMarking()
List<T>	getQuasiParikhVector()
List<T>	getQuasiParikhVector(Collection<E> events)
void	setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf)
void	setEvent(E e)

Methods inherited from interface java.util.Set

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

Method Detail

getCut

ICut<BPN,C,E,F,N,P,T,M> getCut()

getMarking

M getMarking()

getQuasiParikhVector

List<T> getQuasiParikhVector()

getQuasiParikhVector

List<T> getQuasiParikhVector(Collection<E> events)

getFoataNormalForm

List<Set<E>> getFoataNormalForm()

compareTransitions

Integer compareTransitions(T transition1,
                         T transition2)

setEvent

void setEvent(E e)

setCompletePrefixUnfolding

void setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf)

construct

void construct()