rmp

Class HideEdgeTuple

java.lang.Object

rmp.HideEdgeTuple

public class HideEdgeTuple
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
HideEdgeTuple(java.lang.String transitionID, java.lang.String placeID)

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

Constructor Detail

HideEdgeTuple

public HideEdgeTuple(java.lang.String transitionID,
                     java.lang.String placeID)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object