cz.cuni.mff.ksi.jinfer.base.automaton
Class Step<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.base.automaton.Step<T>

public class Step<T>
extends Object

Class representing step sin finite automaton. It's just a container for .equals() runs in automaton. But also has useful information, source, destination - this is the only place where such information in automaton is held. Although automaton has map, it has no direct information about where the steps have the other ends. Step also holds acceptSymbol, which is whatever object on which the automaton is build on. useCount is just integer representing times the step was used when automaton was builded as PTA.

Constructor Summary

Step(T acceptSymbol, State<T> source, State<T> destination, int useCount, int minUseCount)
All settings at one constructor.

Method Summary

void	addAllInputStrings(Collection<List<T>> inputStrings)
void	addInputString(List<T> inputString)
T	getAcceptSymbol()
State<T>	getDestination()
List<List<T>>	getInputStrings()
int	getMinUseCount()
State<T>	getSource()
int	getUseCount()
void	incMinUseCount() TODO anti comment
void	incMinUseCount(int anotherMinUseCount) TODO anti comment
void	incUseCount() Increment useCount by one, useful in PTA build procedure
void	incUseCount(Integer i) Increment by arbitrary number.
void	removeInputString(List<T> inputString)
void	setAcceptSymbol(T acceptSymbol)
void	setDestination(State<T> destination)
void	setMinUseCount(int minUseCount)
void	setSource(State<T> source)
void	setUseCount(int useCount)
String	toString()
String	toTestString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Step

public Step(T acceptSymbol,
            State<T> source,
            State<T> destination,
            int useCount,
            int minUseCount)

All settings at one constructor. In time of creating step, states from and to which it should point, have to be already instantiated.

Parameters:

acceptSymbol -

source -

destination -

useCount -

minUseCount -

Method Detail

getAcceptSymbol

public T getAcceptSymbol()

Returns:

the acceptSymbol

setAcceptSymbol

public void setAcceptSymbol(T acceptSymbol)

Parameters:

acceptSymbol - the acceptSymbol to set

getUseCount

public int getUseCount()

Returns:

the useCount

setUseCount

public void setUseCount(int useCount)

Parameters:

useCount - the useCount to set

getMinUseCount

public int getMinUseCount()

Returns:

setMinUseCount

public void setMinUseCount(int minUseCount)

Parameters:

minUseCount -

incUseCount

public void incUseCount()

Increment useCount by one, useful in PTA build procedure

incUseCount

public void incUseCount(Integer i)

Increment by arbitrary number. Useful when collapsing steps such that A -2-> B A -5-> B to one step A -7-> B

Parameters:

i -

incMinUseCount

public void incMinUseCount(int anotherMinUseCount)

TODO anti comment

Parameters:

anotherMinUseCount -

incMinUseCount

public void incMinUseCount()

TODO anti comment

getSource

public State<T> getSource()

Returns:

the source

setSource

public void setSource(State<T> source)

Parameters:

source - the source to set

getDestination

public State<T> getDestination()

Returns:

the destination

setDestination

public void setDestination(State<T> destination)

Parameters:

destination - the destination to set

removeInputString

public void removeInputString(List<T> inputString)

addInputString

public void addInputString(List<T> inputString)

addAllInputStrings

public void addAllInputStrings(Collection<List<T>> inputStrings)

getInputStrings

public List<List<T>> getInputStrings()

toString

public String toString()

Overrides:

toString in class Object

toTestString

public String toTestString()