rmp

Class TransitionPair

java.lang.Object

rmp.TransitionPair

public class TransitionPair
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	t1
java.lang.String	t2

Constructor Summary

Constructors

Constructor and Description
TransitionPair(java.lang.String t1, java.lang.String t2)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

t1

public final java.lang.String t1

t2

public final java.lang.String t2

Constructor Detail

TransitionPair

public TransitionPair(java.lang.String t1,
                      java.lang.String t2)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object