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) |
ReachableStatePO(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 ReachableStatePO()
public ReachableStatePO(ReachableState... hostGraphObject)
public ReachableStatePO(java.lang.String modifier)
public ReachableStateSet allMatches()
public ReachableStatePO createNumberCondition(long value)
public ReachableStatePO createNumberCondition(long lower, long upper)
public ReachableStatePO createNumberAssignment(long value)
public long getNumber()
public ReachableStatePO withNumber(long value)
public ReachableStatePO createMetricValueCondition(double value)
public ReachableStatePO createMetricValueCondition(double lower, double upper)
public ReachableStatePO createMetricValueAssignment(double value)
public double getMetricValue()
public ReachableStatePO withMetricValue(double value)
public ReachableStatePO createGraphRootCondition(java.lang.Object value)
public ReachableStatePO createGraphRootAssignment(java.lang.Object value)
public java.lang.Object getGraphRoot()
public ReachableStatePO withGraphRoot(java.lang.Object value)
public ReachabilityGraphPO createParentPO()
public ReachabilityGraphPO createParentPO(java.lang.String modifier)
public ReachableStatePO createParentLink(ReachabilityGraphPO tgt)
public ReachableStatePO createParentLink(ReachabilityGraphPO tgt, java.lang.String modifier)
public ReachabilityGraph getParent()
public RuleApplicationPO createRuleapplicationsPO()
public RuleApplicationPO createRuleapplicationsPO(java.lang.String modifier)
public ReachableStatePO createRuleapplicationsLink(RuleApplicationPO tgt)
public ReachableStatePO createRuleapplicationsLink(RuleApplicationPO tgt, java.lang.String modifier)
public RuleApplicationSet getRuleapplications()
public RuleApplicationPO createResultOfPO()
public RuleApplicationPO createResultOfPO(java.lang.String modifier)
public ReachableStatePO createResultOfLink(RuleApplicationPO tgt)
public ReachableStatePO createResultOfLink(RuleApplicationPO tgt, java.lang.String modifier)
public RuleApplicationSet getResultOf()
public ObjectPO createGraphRootPO()
public ObjectPO createGraphRootPO(java.lang.String modifier)
public ReachableStatePO createGraphRootLink(ObjectPO tgt)
public ReachableStatePO createGraphRootLink(ObjectPO tgt, java.lang.String modifier)