Package net.automatalib.automaton.graph
Class StateAsNodeIDs<S>
- java.lang.Object
-
- net.automatalib.automaton.graph.StateAsNodeIDs<S>
-
-
Constructor Summary
Constructors Constructor Description StateAsNodeIDs(StateIDs<S> stateIds)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description S
getNode(int id)
Return for a given id the node of the graph identified by it.int
getNodeId(S node)
Returns for a given node of the graph an integer uniquely identifying the node.
-
-
-
Method Detail
-
getNodeId
public int getNodeId(S node)
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.
-
-