com.raffaeleconforti.kazennikov.dafsa

Class GenericDaciukAlgo<E>

java.lang.Object

com.raffaeleconforti.kazennikov.dafsa.GenericDaciukAlgo<E>

public abstract class GenericDaciukAlgo<E>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected E	startState

Constructor Summary

Constructors

Constructor and Description
GenericDaciukAlgo()

Method Summary

Modifier and Type	Method and Description
void	add(gnu.trove.list.TIntList seq)
void	addMinWord(gnu.trove.list.TIntList input)
abstract E	addState() Adds a new state to the automaton
protected java.util.List<E>	addSuffix(E startState, gnu.trove.list.TIntList seq, int start, int end) Add suffix to given new state
abstract E	cloneState(E state) Clones given state.
java.util.List<E>	commonPrefix(gnu.trove.list.TIntList seq)
int	findConfluence(java.util.List<E> nodes)
abstract E	getNext(E state, int input) Find matching outbound transition for given state
abstract boolean	isConfluence(E state) Checks a state for confluence (if in has more that 1 inbound transitions)
abstract boolean	isFinal(E state) Checks if state is final for this final feature
abstract void	regAdd(E state) Add state to register
abstract E	regGet(E state) Get equivalent state from register
abstract void	regRemove(E state) Remove given state from register.
abstract void	removeState(E state) Removes given state from the automaton
abstract boolean	setFinal(E state) public set final feature for state
abstract boolean	setNext(E src, int label, E next) Adds a transition from src to dest on given label, if a transition from src with given label already exists, then change it to new destination state.

Methods inherited from class java.lang.Object

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

Field Detail

startState

protected E startState

Constructor Detail

GenericDaciukAlgo

public GenericDaciukAlgo()

Method Detail

getNext

public abstract E getNext(E state,
                          int input)

Find matching outbound transition for given state

Parameters:

state - source state

input - label

Returns:

dest state, or -1, if no such transition exists

isConfluence

public abstract boolean isConfluence(E state)

Checks a state for confluence (if in has more that 1 inbound transitions)

Parameters:

state - state to check

Returns:

true if state has more than one inbound transitions

cloneState

public abstract E cloneState(E state)

Clones given state. It clones:

• transitions
• final features

Parameters:

state -

Returns:

addState

public abstract E addState()

Adds a new state to the automaton

Returns:

index of the new state

setNext

public abstract boolean setNext(E src,
                                int label,
                                E next)

Adds a transition from src to dest on given label, if a transition from src with given label already exists, then change it to new destination state.

Parameters:

src - source state

label - transition label

dest - destination state

Returns:

true, if state has changed

removeState

public abstract void removeState(E state)

Removes given state from the automaton

Parameters:

state - state index

setFinal

public abstract boolean setFinal(E state)

public set final feature for state

Parameters:

state -

Returns:

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

isFinal

public abstract boolean isFinal(E state)

Checks if state is final for this final feature

Parameters:

state -

Returns:

regAdd

public abstract void regAdd(E state)

Add state to register

Parameters:

state -

regGet

public abstract E regGet(E state)

Get equivalent state from register

Parameters:

state - reference state

Returns:

number of registered state, or -1 (INVALID_STATE) if no such state exist

regRemove

public abstract void regRemove(E state)

Remove given state from register. Removes exact state not equivalent one.

Parameters:

state - state to remove

addSuffix

protected java.util.List<E> addSuffix(E startState,
                                      gnu.trove.list.TIntList seq,
                                      int start,
                                      int end)

Add suffix to given new state

Parameters:

startState - base node

seq - sequence to add

fin - final state

commonPrefix

public java.util.List<E> commonPrefix(gnu.trove.list.TIntList seq)

findConfluence

public int findConfluence(java.util.List<E> nodes)

addMinWord

public void addMinWord(gnu.trove.list.TIntList input)

add

public void add(gnu.trove.list.TIntList seq)