public class ReachabilityGraphPO extends PatternObject<ReachabilityGraphPO,ReachabilityGraph>
PROPERTY_ATTRCONSTRAINTS, PROPERTY_CANDIDATES, PROPERTY_CARDCONSTRAINTS, PROPERTY_CURRENTMATCH, PROPERTY_DESTROYELEM, PROPERTY_EXCLUDERS, PROPERTY_INCOMMING, PROPERTY_MATCHOTHERTHEN, PROPERTY_OUTGOINGEMPTY_SET, hasMatch, listeners, PROPERTY_DOALLMATCHES, PROPERTY_HASMATCH, PROPERTY_MODIFIER, PROPERTY_PATTERN, PROPERTY_PATTERNOBJECTNAME| Constructor and Description |
|---|
ReachabilityGraphPO() |
ReachabilityGraphPO(ReachabilityGraph... hostGraphObject) |
ReachabilityGraphPO(java.lang.String modifier) |
addToAttrConstraints, addToCardConstraints, addToExcluders, addToIncomming, addToMatchOtherThen, addToOutgoing, addToPattern, createAttrConstraints, createAttrConstraintsNew, createCondition, createPath, createResultTable, destroy, doAllMatches, endCreate, endDestroy, endNAC, endSubPattern, filterAttr, findNextMatch, getAttrConstraints, getCandidates, getCardConstraints, getCurrentMatch, getDestroyElem, getExcluders, getIncomming, getLHSPatternObjectName, getMatchOtherThen, getOutgoing, has, has, hasLink, hasLinkConstraint, hasLinkConstraint, hasMatchOtherThen, instanceOf, matchAsSet, newInstance, newInstance, nextMatch, rebind, removeAllFromAttrConstraints, removeAllFromCardConstraints, removeAllFromExcluders, removeAllFromIncomming, removeAllFromMatchOtherThen, removeAllFromOutgoing, removeFromAttrConstraints, removeFromCardConstraints, removeFromExcluders, removeFromIncomming, removeFromMatchOtherThen, removeFromOutgoing, removeYou, resetSearch, setCandidates, setCurrentMatch, setDestroyElem, startCreate, startDestroy, startNAC, startSubPattern, toString, withAttrConstraints, withAttrConstraints, withCandidates, withCardConstraints, withCardConstraints, withCurrentMatch, withDestroyElem, withExcluders, withExcluders, withIncomming, withMatchOtherThen, withMatchOtherThen, withoutAttrConstraints, withoutAttrConstraints, withoutCardConstraints, withoutCardConstraints, withoutExcluders, withoutExcluders, withOutgoing, withoutIncomming, withoutMatchOtherThen, withoutMatchOtherThen, withoutOutgoingaddPropertyChangeListener, addPropertyChangeListener, createPattern, createPatternNew, dumpHostGraphObject, firePropertyChange, getDoAllMatches, getHasMatch, getModifier, getPattern, getPatternObjectName, getPropertyChangeSupport, getTopPattern, isDoAllMatches, isHasMatch, removePropertyChangeListener, removePropertyChangeListener, setDoAllMatches, setHasMatch, setModifier, setPattern, setPatternObjectName, valueSetString, withDoAllMatches, withHasMatch, withModifier, withPattern, withPatternObjectNamepublic ReachabilityGraphPO()
public ReachabilityGraphPO(ReachabilityGraph... hostGraphObject)
public ReachabilityGraphPO(java.lang.String modifier)
public ReachabilityGraphSet allMatches()
public PatternPO createRulesPO()
public PatternPO createRulesPO(java.lang.String modifier)
public ReachabilityGraphPO createRulesLink(PatternPO tgt)
public ReachabilityGraphPO createRulesLink(PatternPO tgt, java.lang.String modifier)
public PatternSet getRules()
public ReachableStatePO createFinalStatesPO()
public ReachableStatePO createFinalStatesPO(java.lang.String modifier)
public ReachabilityGraphPO createFinalStatesLink(ReachableStatePO tgt)
public ReachabilityGraphPO createFinalStatesLink(ReachableStatePO tgt, java.lang.String modifier)
public ReachableStateSet getFinalStates()
public ReachableStatePO createStatesPO()
public ReachableStatePO createStatesPO(java.lang.String modifier)
public ReachabilityGraphPO createStatesLink(ReachableStatePO tgt)
public ReachabilityGraphPO createStatesLink(ReachableStatePO tgt, java.lang.String modifier)
public ReachableStateSet getStates()
public ReachableStatePO createTodoPO()
public ReachableStatePO createTodoPO(java.lang.String modifier)
public ReachabilityGraphPO createTodoLink(ReachableStatePO tgt)
public ReachabilityGraphPO createTodoLink(ReachableStatePO tgt, java.lang.String modifier)
public ReachableStateSet getTodo()