![]() ![]() | Set this for debugging output. |
![]() | Overloaded. Initializes a new instance of the TraversalGraph class. |
![]() | The class graph used in computing this traversal. |
![]() | The constraint map B for S and G used in computing this traversal graph. |
![]() | An unmodifiable list of EdgeSet objects representing the edges in the traversal graph. |
![]() | |
![]() | The name map N for S and G used in computing this traversal graph. |
![]() | An unmodifiable list of NodeSet objects representing the nodes in the traversal graph. |
![]() | The strategy S used in computing this traversal graph. |
![]() | Determines whether the specified Object is equal to the current Object. |
![]() | The set of copies of class graph alternation edge u =>v in the traversal, or null if there are none. Note that u and v may be either nodes or their string representations. |
![]() | The set of copies of class graph construction edge u -l->v in the traversal, or null if there are none. Note that u and v may be either nodes or their string representations. |
![]() | Overloaded. The set of copies of class graph edge e in the traversal graph, or null if there are none. |
![]() | Overloaded. The set of copies of the class graph edge with the given key in the traversal graph, or null if there are none. |
![]() | |
![]() | Serves as a hash function for a particular type, suitable for use in hashing algorithms and data structures like a hash table. |
![]() | The set of copies of class graph inheritance edge u :>v in the traversal, or null if there are none. Note that u and v may be either nodes or their string representations. |
![]() | |
![]() | Overloaded. |
![]() | Gets the Type of the current instance. |
![]() | The intersection of this traversal with another traversal, that is, the set of paths that are in both traversals. |
![]() | A string representation of the nodes and edges in the traversal. |
![]() | A string representation of the graph. Print nodes and edges in each copy of the graph, along with edges between copies. |
![]() |
![]() | Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection. |
![]() | Creates a shallow copy of the current Object. |