public final class IntAutomaton
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
int |
acceptance() |
|
int |
acceptanceSetCount() |
|
int[] |
alphabetMapping() |
|
int[] |
edges(int state) |
|
static IntAutomaton |
of(Formula formula,
boolean onTheFly) |
|
int[] |
successors(int state) |
public static IntAutomaton of(Formula formula, boolean onTheFly)
public int acceptance()
public int acceptanceSetCount()
public int[] alphabetMapping()
public int[] edges(int state)
public int[] successors(int state)