org.jbpt.petri.unfolding

Class AbstractLocalConfiguration<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.HashSet<E>

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

All Implemented Interfaces:

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

public class AbstractLocalConfiguration<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 HashSet<E>
implements ILocalConfiguration<BPN,C,E,F,N,P,T,M>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AbstractLocalConfiguration()
AbstractLocalConfiguration(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu, E e)

Method Summary

Methods

Modifier and Type	Method and Description
Integer	compareTransitions(T t1, T t2)
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> es)
void	setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
void	setEvent(E e)

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, 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.Set

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

Constructor Detail

AbstractLocalConfiguration

public AbstractLocalConfiguration()

AbstractLocalConfiguration

public AbstractLocalConfiguration(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu,
                          E e)

Method Detail

getCut

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

Specified by:

getCut in 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>>

getMarking

public M getMarking()

Specified by:

getMarking in 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>>

getQuasiParikhVector

public List<T> getQuasiParikhVector()

Specified by:

getQuasiParikhVector in 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>>

getQuasiParikhVector

public List<T> getQuasiParikhVector(Collection<E> es)

Specified by:

getQuasiParikhVector in 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>>

getFoataNormalForm

public List<Set<E>> getFoataNormalForm()

Specified by:

getFoataNormalForm in 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>>

compareTransitions

public Integer compareTransitions(T t1,
                         T t2)

Specified by:

compareTransitions in 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>>

setEvent

public void setEvent(E e)

Specified by:

setEvent in 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>>

setCompletePrefixUnfolding

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

Specified by:

setCompletePrefixUnfolding in 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>>

construct

public void construct()

Specified by:

construct in 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>>