org.sdmlib.models.pattern.util

Class ReachabilityGraphPO

java.lang.Object

org.sdmlib.models.pattern.PatternElement<POC>

org.sdmlib.models.pattern.PatternObject<ReachabilityGraphPO,ReachabilityGraph>

org.sdmlib.models.pattern.util.ReachabilityGraphPO

All Implemented Interfaces:

PropertyChangeInterface

public class ReachabilityGraphPO
extends PatternObject<ReachabilityGraphPO,ReachabilityGraph>

Field Summary

Fields inherited from class org.sdmlib.models.pattern.PatternObject

PROPERTY_ATTRCONSTRAINTS, PROPERTY_CANDIDATES, PROPERTY_CARDCONSTRAINTS, PROPERTY_CURRENTMATCH, PROPERTY_DESTROYELEM, PROPERTY_EXCLUDERS, PROPERTY_INCOMMING, PROPERTY_MATCHOTHERTHEN, PROPERTY_OUTGOING

Fields inherited from class org.sdmlib.models.pattern.PatternElement

EMPTY_SET, hasMatch, listeners, PROPERTY_DOALLMATCHES, PROPERTY_HASMATCH, PROPERTY_MODIFIER, PROPERTY_PATTERN, PROPERTY_PATTERNOBJECTNAME

Constructor Summary

Constructors

Constructor and Description
ReachabilityGraphPO()
ReachabilityGraphPO(ReachabilityGraph... hostGraphObject)

Method Summary

Modifier and Type	Method and Description
ReachabilityGraphSet	allMatches()
PatternPO	createRules()
ReachabilityGraphPO	createRules(PatternPO tgt)
ReachableStatePO	createStates()
ReachabilityGraphPO	createStates(ReachableStatePO tgt)
ReachableStatePO	createTodo()
ReachabilityGraphPO	createTodo(ReachableStatePO tgt)
PatternSet	getRules()
ReachableStateSet	getStates()
ReachableStateSet	getTodo()
PatternPO	hasRules()
ReachabilityGraphPO	hasRules(PatternPO tgt)
ReachableStatePO	hasStates()
ReachabilityGraphPO	hasStates(ReachableStatePO tgt)
ReachableStatePO	hasTodo()
ReachabilityGraphPO	hasTodo(ReachableStatePO tgt)

Methods inherited from class org.sdmlib.models.pattern.PatternObject

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, withoutOutgoing

Methods inherited from class org.sdmlib.models.pattern.PatternElement

createPattern, createPatternNew, dumpHostGraphObject, getDoAllMatches, getHasMatch, getModifier, getPattern, getPatternObjectName, getPropertyChangeSupport, getTopPattern, setDoAllMatches, setHasMatch, setModifier, setPattern, setPatternObjectName, valueSetString, withDoAllMatches, withHasMatch, withModifier, withPattern, withPatternObjectName

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityGraphPO

public ReachabilityGraphPO()

ReachabilityGraphPO

public ReachabilityGraphPO(ReachabilityGraph... hostGraphObject)

Method Detail

allMatches

public ReachabilityGraphSet allMatches()

hasStates

public ReachableStatePO hasStates()

hasStates

public ReachabilityGraphPO hasStates(ReachableStatePO tgt)

getStates

public ReachableStateSet getStates()

hasTodo

public ReachableStatePO hasTodo()

hasTodo

public ReachabilityGraphPO hasTodo(ReachableStatePO tgt)

getTodo

public ReachableStateSet getTodo()

hasRules

public PatternPO hasRules()

hasRules

public ReachabilityGraphPO hasRules(PatternPO tgt)

getRules

public PatternSet getRules()

createStates

public ReachableStatePO createStates()

createStates

public ReachabilityGraphPO createStates(ReachableStatePO tgt)

createTodo

public ReachableStatePO createTodo()

createTodo

public ReachabilityGraphPO createTodo(ReachableStatePO tgt)

createRules

public PatternPO createRules()

createRules

public ReachabilityGraphPO createRules(PatternPO tgt)