public class DeterministicAutomaton.DeterministicOperations extends Automaton.Operations
Constructor and Description |
---|
DeterministicOperations() |
Modifier and Type | Method and Description |
---|---|
DeterministicAutomaton |
complete() |
TransitionMatrix |
getTransitionMatrix() |
DeterministicAutomaton |
intersect(DeterministicAutomaton b) |
DeterministicAutomaton |
minimize() |
DeterministicAutomaton |
negate() |
DeterministicAutomaton |
reduce() |
DeterministicAutomaton |
renumber() |
DeterministicAutomaton |
union(DeterministicAutomaton b) |
determinize, intersect, isAll, isEmpty
public DeterministicAutomaton complete()
public TransitionMatrix getTransitionMatrix()
public DeterministicAutomaton intersect(DeterministicAutomaton b)
public DeterministicAutomaton minimize()
public DeterministicAutomaton negate()
public DeterministicAutomaton reduce()
reduce
in class Automaton.Operations
public DeterministicAutomaton renumber()
renumber
in class Automaton.Operations
public DeterministicAutomaton union(DeterministicAutomaton b)