public class StateSpace
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT |
static int |
NEXT |
protected static int |
valency |
Constructor and Description |
---|
StateSpace() |
Modifier and Type | Method and Description |
---|---|
int |
next(int state) |
boolean |
setNames(java.lang.String[] names) |
boolean |
setValency(int valency) |
int |
size() |
static int |
string2State(java.lang.String token) |
java.lang.String |
toString(int state) |
public static final int DEFAULT
public static final int NEXT
protected static int valency