public class ReachableStatePO extends PatternObject<ReachableStatePO,ReachableState>
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 |
|---|
ReachableStatePO() |
ReachableStatePO(ReachableState... hostGraphObject) |
addToAttrConstraints, addToCardConstraints, addToExcluders, addToIncomming, addToMatchOtherThen, addToOutgoing, createAttrConstraints, createAttrConstraintsNew, destroy, doAllMatches, endCreate, endDestroy, endNAC, endSubPattern, findNextMatch, getAttrConstraints, getCandidates, getCardConstraints, getCurrentMatch, getDestroyElem, getExcluders, getIncomming, getLHSPatternObjectName, getMatchOtherThen, getOutgoing, has, has, hasAttr, hasLink, 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, withoutOutgoingcreatePattern, createPatternNew, dumpHostGraphObject, getDoAllMatches, getHasMatch, getModifier, getPattern, getPatternObjectName, getPropertyChangeSupport, getTopPattern, setDoAllMatches, setHasMatch, setModifier, setPattern, setPatternObjectName, valueSetString, withDoAllMatches, withHasMatch, withModifier, withPattern, withPatternObjectNamepublic ReachableStatePO()
public ReachableStatePO(ReachableState... hostGraphObject)
public ReachableStateSet allMatches()
public ReachabilityGraphPO hasParent()
public ReachableStatePO hasParent(ReachabilityGraphPO tgt)
public ReachabilityGraph getParent()
public ReachabilityGraphPO hasMaster()
public ReachableStatePO hasMaster(ReachabilityGraphPO tgt)
public ReachabilityGraph getMaster()
public ReachableStatePO hasGraphRoot(java.lang.Object value)
public java.lang.Object getGraphRoot()
public ReachableStatePO withGraphRoot(java.lang.Object value)
public ReachableStatePO hasNumber(long value)
public long getNumber()
public ReachableStatePO withNumber(long value)
public RuleApplicationPO hasRuleapplications()
public ReachableStatePO hasRuleapplications(RuleApplicationPO tgt)
public RuleApplicationSet getRuleapplications()
public RuleApplicationPO hasResultOf()
public ReachableStatePO hasResultOf(RuleApplicationPO tgt)
public RuleApplicationSet getResultOf()
public ReachableStatePO hasNumber(long lower, long upper)
public ReachableStatePO hasGraphRoot(java.lang.Object lower, java.lang.Object upper)
public ReachableStatePO createNumber(long value)
public ReachableStatePO createGraphRoot(java.lang.Object value)
public ReachabilityGraphPO createParent()
public ReachableStatePO createParent(ReachabilityGraphPO tgt)
public RuleApplicationPO createRuleapplications()
public ReachableStatePO createRuleapplications(RuleApplicationPO tgt)
public RuleApplicationPO createResultOf()
public ReachableStatePO createResultOf(RuleApplicationPO tgt)
public ReachabilityGraphPO createMaster()
public ReachableStatePO createMaster(ReachabilityGraphPO tgt)