public class NetSystemQuerying extends AbstractUntanglingBasedBehavioralQuerying<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>
untanglingsys| Constructor and Description |
|---|
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys) |
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys,
Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling) |
cannotOccurAll, cannotOccurAllExpanded, cannotOccurOne, cannotOccurOneExpanded, canOccurAll, canOccurAllExpanded, canOccurOne, canOccurOneExpandedareModeledAll, areModeledAllExpanded, getNetSystem, isModeledOnepublic NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys)
public NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)
Copyright © 2017. All rights reserved.