rationals

Class Transition

java.lang.Object

rationals.Transition

public class Transition
extends Object

Defines a Transition (an edge from a state to a state) in an Automaton This class defines the notion of transition of an automaton. a transition is a triple (q , l , q') where q, q' are states and l a label. States q and q' must belong to the same automaton A and the transition may only be used with this automaton A .

Version:

1.0

Author:

yroos@lifl.fr

See Also:

Automaton

Constructor Summary

Constructors

Constructor and Description
Transition(State start, Object label, State end) Creates a new transition (q , l , q').

Method Summary

Modifier and Type	Method and Description
State	end() Returns the ending state of this transition.
boolean	equals(Object o) Determines if this transition is equal to the parameter.
int	hashCode()
Object	label() Returns the label this transition.
State	start() Returns the starting state of this transition.
String	toString() returns a textual representation of this transition.

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Transition

public Transition(State start,
                  Object label,
                  State end)

Creates a new transition (q , l , q').

Parameters:

start - the state q for this transition (q , l , q') .

label - the label l

end - the state q' for this transition (q , l , q').

Method Detail

start

public State start()

Returns the starting state of this transition.

Returns:

the starting state of this transition, that is the state q for this transition (q , l , q').

label

public Object label()

Returns the label this transition.

Returns:

the label state of this transition, that is the object l for this transition (q , l , q').

end

public State end()

Returns the ending state of this transition.

Returns:

the ending state of this transition, that is the state q' for this transition (q , l , q').

toString

public String toString()

returns a textual representation of this transition.

Overrides:

toString in class Object

Returns:

a textual representation of this transition based

equals

public boolean equals(Object o)

Determines if this transition is equal to the parameter.

Overrides:

equals in class Object

Parameters:

o - any object.

Returns:

true iff this transition is equal to the parameter. That is if o is a transition which is composed same states and label (in the sense of method equals).

hashCode

public int hashCode()

Overrides:

hashCode in class Object