dk.brics.string.mlfa
Class BinaryTransition

java.lang.Object
  dk.brics.string.mlfa.MLFATransition
      dk.brics.string.mlfa.BinaryTransition

public class BinaryTransition
extends MLFATransition

Binary operation transition.

Constructor Summary

BinaryTransition(BinaryOperation op, MLFAState s1, MLFAState f1, MLFAState s2, MLFAState f2)
Constructs a new binary operation transition.

Method Summary

MLFAState	getFinalState1() Returns the first final state.
MLFAState	getFinalState2() Returns the second final state.
BinaryOperation	getOperation() Returns the binary operation.
MLFAState	getStartState1() Returns the first start state.
MLFAState	getStartState2() Returns the second start state.
String	toString()
<T> T	visitBy(TransitionVisitor<T> v) Visits this transition with the given visitor.

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryTransition

public BinaryTransition(BinaryOperation op,
                        MLFAState s1,
                        MLFAState f1,
                        MLFAState s2,
                        MLFAState f2)

Constructs a new binary operation transition.

Method Detail

getFinalState1

public MLFAState getFinalState1()

Returns the first final state.

getFinalState2

public MLFAState getFinalState2()

Returns the second final state.

getOperation

public BinaryOperation getOperation()

Returns the binary operation.

getStartState1

public MLFAState getStartState1()

Returns the first start state.

getStartState2

public MLFAState getStartState2()

Returns the second start state.

toString

public String toString()

Overrides:

toString in class Object

visitBy

public <T> T visitBy(TransitionVisitor<T> v)

Description copied from class: MLFATransition

Visits this transition with the given visitor.

Specified by:

visitBy in class MLFATransition