org.jbpt.petri.querying

Class 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>>

java.lang.Object

org.jbpt.petri.querying.AbstractStructuralQuerying<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractUntanglingBasedBehavioralQuerying

public class 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>>
extends Object
implements IStructuralQuerying<F,N,P,T,M>

An implementation of the IStructuralQuerying interface.

Author:

Artem Polyvyanyy

Field Summary

Fields

Modifier and Type	Field and Description
protected INetSystem<F,N,P,T,M>	sys

Constructor Summary

Constructors

Constructor and Description
AbstractStructuralQuerying(INetSystem<F,N,P,T,M> sys)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	areModeledAll(Set<String> setOfLabels)
boolean	areModeledAllExpanded(Set<Set<String>> setsOfLabels)
INetSystem<F,N,P,T,M>	getNetSystem()
boolean	isModeledOne(Set<String> setOfLabels)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sys

protected INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> sys

Constructor Detail

AbstractStructuralQuerying

public AbstractStructuralQuerying(INetSystem<F,N,P,T,M> sys)

Method Detail

getNetSystem

public INetSystem<F,N,P,T,M> getNetSystem()

areModeledAll

public boolean areModeledAll(Set<String> setOfLabels)

Specified by:

areModeledAll in interface IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

isModeledOne

public boolean isModeledOne(Set<String> setOfLabels)

Specified by:

isModeledOne in interface IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

areModeledAllExpanded

public boolean areModeledAllExpanded(Set<Set<String>> setsOfLabels)

Specified by:

areModeledAllExpanded in interface IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>