|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object dk.brics.xpath.evaluator.Reachability
public class Reachability
Constructor Summary | |
---|---|
Reachability(XMLGraph xg)
Creates a new reachability relation for the given XML graph. |
|
Reachability(XMLGraph xg,
Set<Integer> roots)
Creates a new reachability relation for the given XML graph. |
Method Summary | |
---|---|
HashSet<Integer> |
getDefinitelyReachableFrom(int i)
Gets the set of node indices ( ConcreteNode ) that are
"definitely reachable from" the given node index (ElementNode ). |
Set<Integer> |
getDefinitelyTransitiveReachableFrom(int i)
Gets the set of node indices ( ConcreteNode )
that are "definitely transitive reachable from" the given
node index (ElementNode ). |
Set<Integer> |
getReachableFrom(int i)
Gets the set of node indices ( ConcreteNode ) that are
"reachable from" the given node index (ElementNode ). |
Set<Integer> |
getReachesTo(int i)
Gets the set of node indices ( ElementNode ) that "reaches to"
a given node index (ConcreteNode ). |
Set<Integer> |
getReachesTransitiveTo(int i)
Gets the set of node indices ( ElementNode )
that "reaches transitive to" a given node
index (ConcreteNode ). |
Set<Integer> |
getTransitiveReachableFrom(int i)
Gets the set of node indices ( ConcreteNode )
that are "transitive reachable from" the given node
index (ElementNode ). |
boolean |
isReachable(int node)
|
static void |
prettyprint(PrintStream out,
Reachability r)
|
void |
printReachabilityOf(PrintStream out,
String from,
String to)
|
void |
transitiveClosure(Map<Integer,dk.brics.xpath.evaluator.Reachability.ReachabilitySet> map)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Reachability(XMLGraph xg)
xg
- XML graphpublic Reachability(XMLGraph xg, Set<Integer> roots)
xg
- XML graphroots
- set of nodes to consider roots instead of xg
's root setMethod Detail |
---|
public HashSet<Integer> getDefinitelyReachableFrom(int i)
ConcreteNode
) that are
"definitely reachable from" the given node index (ElementNode
).
A node index j is "definitely reachable from" a node index i
iff j occurs at least once in every unfolding starting from node
i.
i
- index
public Set<Integer> getDefinitelyTransitiveReachableFrom(int i)
ConcreteNode
)
that are "definitely transitive reachable from" the given
node index (ElementNode
). A node index j is
"definitely transitive reachable from" a node index i
iff j occurs at least once in every transitive unfolding
starting from node i.
i
- index
public Set<Integer> getReachableFrom(int i)
ConcreteNode
) that are
"reachable from" the given node index (ElementNode
). A node
index j is "reachable from" a node index i iff j
occurs at least once in some unfolding starting from node index i.
i
- index
public Set<Integer> getReachesTo(int i)
ElementNode
) that "reaches to"
a given node index (ConcreteNode
). A node index j
"reaches to" a node index i if i occurs in some unfolding
starting from j.
i
- index
public Set<Integer> getReachesTransitiveTo(int i)
ElementNode
)
that "reaches transitive to" a given node
index (ConcreteNode
). A node index j
"reaches transitive to" a node index i if i
occurs in some transitive unfolding starting from j.
i
- index
public Set<Integer> getTransitiveReachableFrom(int i)
ConcreteNode
)
that are "transitive reachable from" the given node
index (ElementNode
). A node index j is
"transitive reachable from" a node index i iff j
occurs at least once in some transitive unfolding starting from
node index i.
i
- index
public boolean isReachable(int node)
public static void prettyprint(PrintStream out, Reachability r)
public void printReachabilityOf(PrintStream out, String from, String to)
public void transitiveClosure(Map<Integer,dk.brics.xpath.evaluator.Reachability.ReachabilitySet> map)
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |