org.processmining.ltl2automaton.plugins.automaton

Class DeterministicAutomaton

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.Automaton

org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton

All Implemented Interfaces:

java.lang.Iterable<State>

public class DeterministicAutomaton
extends Automaton

Tagging subclass to distinguish between deterministic and non-deterministic autonmata

Author:

mwesterg

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	DeterministicAutomaton.DeterministicOperations

Nested classes/interfaces inherited from class org.processmining.ltl2automaton.plugins.automaton.Automaton

Automaton.Operations

Field Summary

Fields

Modifier and Type	Field and Description
DeterministicAutomaton.DeterministicOperations	op

Fields inherited from class org.processmining.ltl2automaton.plugins.automaton.Automaton

expandCount, init, scount

Constructor Summary

Constructors

Modifier	Constructor and Description
	DeterministicAutomaton(Automaton a, boolean completed)
protected	DeterministicAutomaton(boolean complated)

Method Summary

Modifier and Type	Method and Description
boolean	isCompleted()

Methods inherited from class org.processmining.ltl2automaton.plugins.automaton.Automaton

addState, getExpandCount, getInit, getStateCount, getTransitionCount, iterator, removeState, setExpandCount, transitions

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

op

public final DeterministicAutomaton.DeterministicOperations op

Constructor Detail

DeterministicAutomaton

public DeterministicAutomaton(Automaton a,
                              boolean completed)

DeterministicAutomaton

protected DeterministicAutomaton(boolean complated)

Method Detail

isCompleted

public boolean isCompleted()