net.automatalib.automata.graphs

Class StateAsNodeIDs<S>

java.lang.Object

net.automatalib.automata.graphs.StateAsNodeIDs<S>

All Implemented Interfaces:

NodeIDs<S>

public class StateAsNodeIDs<S>
extends Object
implements NodeIDs<S>

Constructor Summary

Constructors

Constructor and Description
StateAsNodeIDs(StateIDs<S> stateIds)

Method Summary

Methods

Modifier and Type	Method and Description
S	getNode(int id)
int	getNodeId(S node)

Methods inherited from class java.lang.Object

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

Constructor Detail

StateAsNodeIDs

public StateAsNodeIDs(StateIDs<S> stateIds)

Method Detail

getNodeId

public int getNodeId(S node)

Specified by:

getNodeId in interface NodeIDs<S>

getNode

public S getNode(int id)

Specified by:

getNode in interface NodeIDs<S>