| Interface | Description |
|---|---|
| IBehavioralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> | |
| IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> |
| Class | Description |
|---|---|
| AbstractStructuralQuerying<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>> |
An implementation of the
IStructuralQuerying interface. |
| AbstractUntanglingBasedBehavioralQuerying<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>> |
An implementation of the
IBehavioralQuerying interface (using untanglings). |
| NetSystemQuerying |
This class can be used to check the presence of structural and/or behavioral information in a net system.
|
Copyright © 2017. All rights reserved.