edu.neu.ccs.demeter.aplib
Class TraversalGraph.NodeSet

java.lang.Object
  |
  +--edu.neu.ccs.demeter.aplib.Traversal.NodeSet
        |
        +--edu.neu.ccs.demeter.aplib.TraversalGraph.NodeSet

Enclosing class:

TraversalGraph

public class TraversalGraph.NodeSet

extends Traversal.NodeSet

A set of nodes vⁱ in a traversal graph, where the nodes in the set are all copies of the same class graph node v with different indices i.

Method Summary

boolean	equals(Object o)
List	getIndices() A list of indices of the nodes in this set.
boolean	hasIndex(int i) Is vi in this set?

Methods inherited from class edu.neu.ccs.demeter.aplib.Traversal.NodeSet

getIncomingEdgeSets, getNode, getOutgoingEdgeSets, sameNode, toString

Methods inherited from class java.lang.Object

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

Method Detail

getIndices

public List getIndices()

A list of indices of the nodes in this set.

hasIndex

public boolean hasIndex(int i)

Is vⁱ in this set?

equals

public boolean equals(Object o)

Overrides:

equals in class Traversal.NodeSet