dk.brics.string.mlfa
Class MLFA

java.lang.Object
  dk.brics.string.mlfa.MLFA

public class MLFA
extends Object

MLFA.

Author:

Anders Møller <amoeller@cs.au.dk>

Constructor Summary

MLFA()
Constructs new empty MLFA.

Method Summary

void	addAutomatonTransition(MLFAState p, MLFAState q, Automaton a) Adds new automaton transition to this MLFA.
void	addBinaryTransition(MLFAState p, MLFAState q, BinaryOperation op, MLFAStatePair r, MLFAStatePair s) Adds new binary operation transition to this MLFA.
void	addEpsilonTransition(MLFAState p, MLFAState q) Adds new epsilon transition to this MLFA.
void	addIdentityTransition(MLFAState p, MLFAState q, MLFAStatePair r) Adds new identity transition to this MLFA.
MLFAState	addState() Adds a new state to this MLFA.
void	addUnaryTransition(MLFAState p, MLFAState q, UnaryOperation op, MLFAStatePair r) Adds new unary operation transition to this MLFA.
int	getNumberOfStates() Returns number of states in this MLFA.
List<MLFAState>	getStates() Returns the (unmodifiable) list of states in this MLFA.
String	toString() Returns string representation of this MLFA.

Methods inherited from class java.lang.Object

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

Constructor Detail

MLFA

public MLFA()

Constructs new empty MLFA.

Method Detail

addAutomatonTransition

public void addAutomatonTransition(MLFAState p,
                                   MLFAState q,
                                   Automaton a)

Adds new automaton transition to this MLFA.

Parameters:

p - source state

q - target state

a - (minimized) automaton at lower level

addBinaryTransition

public void addBinaryTransition(MLFAState p,
                                MLFAState q,
                                BinaryOperation op,
                                MLFAStatePair r,
                                MLFAStatePair s)

Adds new binary operation transition to this MLFA.

Parameters:

p - source state

q - target state

op - operation to perform on lower level

r - first pair of initial and final state at lower level

s - second pair of initial and final state at lower level

addEpsilonTransition

public void addEpsilonTransition(MLFAState p,
                                 MLFAState q)

Adds new epsilon transition to this MLFA.

Parameters:

p - source state

q - target state

addIdentityTransition

public void addIdentityTransition(MLFAState p,
                                  MLFAState q,
                                  MLFAStatePair r)

Adds new identity transition to this MLFA.

Parameters:

p - source state

q - target state

r - pair of initial and final state at lower level

addState

public MLFAState addState()

Adds a new state to this MLFA.

Returns:

new state

addUnaryTransition

public void addUnaryTransition(MLFAState p,
                               MLFAState q,
                               UnaryOperation op,
                               MLFAStatePair r)

Adds new unary operation transition to this MLFA.

Parameters:

p - source state

q - target state

op - operation to perform on lower level

r - pair of initial and final state at lower level

getNumberOfStates

public int getNumberOfStates()

Returns number of states in this MLFA.

getStates

public List<MLFAState> getStates()

Returns the (unmodifiable) list of states in this MLFA.

toString

public String toString()

Returns string representation of this MLFA.

Overrides:

toString in class Object