com.raffaeleconforti.kazennikov.dafsa

Class IntDAFSAInt

java.lang.Object

com.raffaeleconforti.kazennikov.dafsa.IntDaciukAlgoIndexed

com.raffaeleconforti.kazennikov.dafsa.AbstractIntDAFSA

com.raffaeleconforti.kazennikov.dafsa.IntDAFSAInt

public class IntDAFSAInt
extends AbstractIntDAFSA

DAFSA with integer labels and set of integers as final feature

Author:

Anton Kazennikov

Nested Class Summary

Nested classes/interfaces inherited from class com.raffaeleconforti.kazennikov.dafsa.AbstractIntDAFSA

AbstractIntDAFSA.State

Constructor Summary

Constructors

Constructor and Description
IntDAFSAInt()

Method Summary

Modifier and Type	Method and Description
void	emit(IntFSAObjectEventHandler<int[]> events) Emit current FSA state to events
void	finalAssign(int destState, int srcState) Copy final value from source state to destination state
boolean	finalEquals(int state1, int state2) Check if final values of two states are equal
int	finalHash(int state) Compute hash code for the final value of the state
void	finalReset(int state) Reset the final value of the given state
gnu.trove.set.hash.TIntHashSet	getFinals(int state)
boolean	hasFinal(int state) Checks if state is final for this final feature
void	initFinals() Initialize finality values for this FSA
boolean	isFinalState(int state) Checks if state is final
void	newFinal(int state) Initialize final value for given state
boolean	setFinal(int state) public set final feature for state
void	setFinalValue(int finalValue)

Methods inherited from class com.raffaeleconforti.kazennikov.dafsa.AbstractIntDAFSA

addState, cloneState, decodeDest, decodeLabel, encodeTransition, getNext, getStartState, getStates, getTransitionCount, getTransitionInput, getTransitionNext, isConfluence, isSource, regAdd, regGet, regRemove, removeState, setNext, size, toDot, toDot, transitionCount

Methods inherited from class com.raffaeleconforti.kazennikov.dafsa.IntDaciukAlgoIndexed

add, addMinWord, addSuffix, replaceOrRegister

Methods inherited from class java.lang.Object

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

Constructor Detail

IntDAFSAInt

public IntDAFSAInt()

Method Detail

finalHash

public int finalHash(int state)

Description copied from class: AbstractIntDAFSA

Compute hash code for the final value of the state

Specified by:

finalHash in class AbstractIntDAFSA

Parameters:

state - state

Returns:

hash code

finalEquals

public boolean finalEquals(int state1,
                           int state2)

Description copied from class: AbstractIntDAFSA

Check if final values of two states are equal

Specified by:

finalEquals in class AbstractIntDAFSA

Parameters:

state1 - first state

state2 - second state

Returns:

true, if they are equal

finalReset

public void finalReset(int state)

Description copied from class: AbstractIntDAFSA

Reset the final value of the given state

Specified by:

finalReset in class AbstractIntDAFSA

finalAssign

public void finalAssign(int destState,
                        int srcState)

Description copied from class: AbstractIntDAFSA

Copy final value from source state to destination state

Specified by:

finalAssign in class AbstractIntDAFSA

Parameters:

destState - destination state

srcState - source state

initFinals

public void initFinals()

Description copied from class: AbstractIntDAFSA

Initialize finality values for this FSA

Specified by:

initFinals in class AbstractIntDAFSA

newFinal

public void newFinal(int state)

Description copied from class: AbstractIntDAFSA

Initialize final value for given state

Specified by:

newFinal in class AbstractIntDAFSA

setFinalValue

public void setFinalValue(int finalValue)

setFinal

public boolean setFinal(int state)

Description copied from class: IntDaciukAlgoIndexed

public set final feature for state

Specified by:

setFinal in class IntDaciukAlgoIndexed

Parameters:

state - state number

Returns:

true, if state has changed, else false (this is possible then state is already final)

hasFinal

public boolean hasFinal(int state)

Description copied from class: IntDaciukAlgoIndexed

Checks if state is final for this final feature

Specified by:

hasFinal in class IntDaciukAlgoIndexed

Parameters:

state - state number

Returns:

getFinals

public gnu.trove.set.hash.TIntHashSet getFinals(int state)

isFinalState

public boolean isFinalState(int state)

Description copied from class: AbstractIntDAFSA

Checks if state is final

Specified by:

isFinalState in class AbstractIntDAFSA

Parameters:

state - state number

emit

public void emit(IntFSAObjectEventHandler<int[]> events)

Emit current FSA state to events

Parameters:

events - events object