DeterministicAutomaton.DeterministicOperations (LTL2Automaton)

java.lang.Object
- org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
- - org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations

public class DeterministicAutomaton.DeterministicOperations
extends Automaton.Operations

Constructors
Constructor and Description
`DeterministicOperations()`

All Methods Instance Methods Concrete Methods
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)`

Methods inherited from class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
determinize, intersect, isAll, isEmpty

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- DeterministicOperations
```
public DeterministicOperations()
```

public DeterministicAutomaton complete()

public TransitionMatrix getTransitionMatrix()

public DeterministicAutomaton intersect(DeterministicAutomaton b)

public DeterministicAutomaton minimize()

public DeterministicAutomaton negate()

public DeterministicAutomaton union(DeterministicAutomaton b)

Class DeterministicAutomaton.DeterministicOperations