gov.nasa.jpf.util.automaton

Class Automaton<S extends State>

java.lang.Object

gov.nasa.jpf.util.automaton.Automaton<S>

public class Automaton<S extends State>
extends Object

generic class for modeling automatons Since this is used in so many extensions from both model and native code, it seems appropriate to add a basis implementation to util. To make it more amenable to modeling (e.g. for native peer implementation), we avoid using standard Java containers at the expense of efficiency for large numbers of states and transitions

Field Summary

Fields

Modifier and Type	Field and Description
protected String[]	alphabet
protected int	current
protected String	label
protected int	nInputs
protected int	nStates
protected State[]	states

Constructor Summary

Constructors

Constructor and Description
Automaton(String label)
Automaton(String label, int numberOfStates)
Automaton(String label, int numberOfStates, int numberOfInputs)

Method Summary

Methods

Modifier and Type	Method and Description
void	addState(State newState)
void	addStates(State... newStates)
String[]	computeAlphabet()
String[]	getAlphabet()
S	getCurrentState()
String	getLabel()
int	getNumberOfStates()
void	printOn(PrintStream ps)

Methods inherited from class java.lang.Object

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

Field Detail

label

protected String label

nStates

protected int nStates

states

protected State[] states

nInputs

protected int nInputs

alphabet

protected String[] alphabet

current

protected int current

Constructor Detail

Automaton

public Automaton(String label,
         int numberOfStates,
         int numberOfInputs)

Automaton

public Automaton(String label,
         int numberOfStates)

Automaton

public Automaton(String label)

Method Detail

addState

public void addState(State newState)

addStates

public void addStates(State... newStates)

getLabel

public String getLabel()

getNumberOfStates

public int getNumberOfStates()

getCurrentState

public S getCurrentState()

computeAlphabet

public String[] computeAlphabet()

getAlphabet

public String[] getAlphabet()

printOn

public void printOn(PrintStream ps)