All Methods Instance Methods Concrete Methods
Modifier and Type
Method and Description
(int id) getNode
Return for a given id the node of the graph identified by it.
( getNodeId S node)
Returns for a given node of the graph an integer uniquely identifying the node.
Methods inherited from class java.lang.
Object clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public int getNodeId(
Description copied from interface: NodeIDs
Returns for a given node of the graph an integer uniquely identifying the node. The returned ids should be within
the range of the number of states of the graph so that they can be used for array-based indexing.
getNodeId NodeIDs< S>
node - the node whose id should be retrieved
Returns: the (positive) id of the given graph node.
Copyright © 2020. All rights reserved.