model

Class Transition

java.lang.Object

model.Transition

public final class Transition
extends java.lang.Object

A transition of a transition system.

Constructor Summary

Constructors

Constructor and Description
Transition(int source, int target) Initializes this transition with the given source and target state.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object object)
int	hashCode()
java.lang.String	toDot() Returns a dot representation of this transition.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Transition

public Transition(int source,
                  int target)

Initializes this transition with the given source and target state.

Parameters:

source - the source state of this transition

target - the target state of this transition

Method Detail

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toDot

public java.lang.String toDot()

Returns a dot representation of this transition.

Returns:

a dot representation of this transition