org.processmining.ltl2automaton.plugins.automaton

Class Automaton.Operations

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations

Direct Known Subclasses:

DeterministicAutomaton.DeterministicOperations

Enclosing class:

Automaton

public class Automaton.Operations
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Operations()

Method Summary

Modifier and Type	Method and Description
DeterministicAutomaton	determinize()
Automaton	intersect(Automaton b)
boolean	isAll()
boolean	isEmpty()
Automaton	reduce()
Automaton	renumber()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Operations

public Operations()

Method Detail

determinize

public DeterministicAutomaton determinize()

intersect

public Automaton intersect(Automaton b)

isAll

public boolean isAll()

isEmpty

public boolean isEmpty()

reduce

public Automaton reduce()

renumber

public Automaton renumber()