org.processmining.ltl2automaton.plugins.automaton

Class Automaton

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.Automaton

All Implemented Interfaces:

java.lang.Iterable<State>

Direct Known Subclasses:

DeterministicAutomaton

public class Automaton
extends java.lang.Object
implements java.lang.Iterable<State>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Automaton.Operations

Field Summary

Fields

Modifier and Type	Field and Description
protected int	expandCount
protected State	init
Automaton.Operations	op
protected int	scount

Constructor Summary

Constructors

Constructor and Description
Automaton()

Method Summary

Modifier and Type	Method and Description
void	addState(State n)
int	getExpandCount()
State	getInit()
int	getStateCount()
int	getTransitionCount()
java.util.Iterator<State>	iterator()
void	removeState(State n)
void	setExpandCount(int expandCount)
java.lang.Iterable<Transition>	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

init

protected State init

expandCount

protected int expandCount

op

public final Automaton.Operations op

scount

protected int scount

Constructor Detail

Automaton

public Automaton()

Method Detail

addState

public void addState(State n)

getExpandCount

public int getExpandCount()

getInit

public State getInit()

getStateCount

public int getStateCount()

getTransitionCount

public int getTransitionCount()

iterator

public java.util.Iterator<State> iterator()

Specified by:

iterator in interface java.lang.Iterable<State>

removeState

public void removeState(State n)

setExpandCount

public void setExpandCount(int expandCount)

transitions

public java.lang.Iterable<Transition> transitions()