| Package | Description |
|---|---|
| org.jbpt.petri.unfolding |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ICut<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>> |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractCoSet<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>> |
class |
AbstractCut<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>> |
class |
CoSet |
class |
Cut |
| Modifier and Type | Method and Description |
|---|---|
protected ICoSet<BPN,C,E,F,N,P,T,M> |
AbstractCompletePrefixUnfolding.containsPlaces(ICoSet<BPN,C,E,F,N,P,T,M> coset,
Collection<P> places) |
ICoSet<BPN,C,E,F,N,P,T,M> |
IBranchingProcess.createCoSet()
Factory method to provide a co-set of the branching process implementation.
|
ICoSet<BPN,C,E,F,N,P,T,M> |
AbstractBranchingProcess.createCoSet() |
ICoSet<BPN,C,E,F,N,P,T,M> |
IEvent.getPostConditions()
Get post conditions of this event.
|
ICoSet<BPN,C,E,F,N,P,T,M> |
AbstractEvent.getPostConditions() |
ICoSet<BPN,C,E,F,N,P,T,M> |
IEvent.getPreConditions()
Get preconditions of this event.
|
ICoSet<BPN,C,E,F,N,P,T,M> |
AbstractEvent.getPreConditions() |
| Modifier and Type | Method and Description |
|---|---|
protected ICoSet<BPN,C,E,F,N,P,T,M> |
AbstractCompletePrefixUnfolding.containsPlaces(ICoSet<BPN,C,E,F,N,P,T,M> coset,
Collection<P> places) |
E |
IBranchingProcess.createEvent(T transition,
ICoSet<BPN,C,E,F,N,P,T,M> preset)
Factory method to provide an event of the branching process implementation.
|
E |
AbstractCompletePrefixUnfolding.createEvent(T transition,
ICoSet<BPN,C,E,F,N,P,T,M> preConditions) |
E |
AbstractBranchingProcess.createEvent(T transition,
ICoSet<BPN,C,E,F,N,P,T,M> preConditions) |
void |
IEvent.setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions) |
void |
AbstractEvent.setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions) |
void |
IEvent.setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions) |
void |
AbstractEvent.setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions) |
| Constructor and Description |
|---|
AbstractEvent(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu,
T transition,
ICoSet<BPN,C,E,F,N,P,T,M> preset)
Constructor.
|
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu,
Transition transition,
ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset) |
Copyright © 2017. All rights reserved.