public class Automaton.Operations
extends java.lang.Object
Constructor and Description |
---|
Operations() |
Modifier and Type | Method and Description |
---|---|
DeterministicAutomaton |
determinize() |
Automaton |
intersect(Automaton b) |
boolean |
isAll() |
boolean |
isEmpty() |
Automaton |
reduce() |
Automaton |
renumber() |
public DeterministicAutomaton determinize()
public boolean isAll()
public boolean isEmpty()
public Automaton reduce()
public Automaton renumber()