edu.toronto.cs.proof
Class GrappaNodePair

java.lang.Object
  extended by edu.toronto.cs.proof.GrappaNodePair

public class GrappaNodePair
extends java.lang.Object

A tuple class -- don't we have one in util package? in any case, can't we just use arrays for that?


Field Summary
 GrappaGraph.GrappaNode fst
           
 GrappaGraph.GrappaNode snd
           
 
Constructor Summary
GrappaNodePair(GrappaGraph.GrappaNode _fst, GrappaGraph.GrappaNode _snd)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

fst

public GrappaGraph.GrappaNode fst

snd

public GrappaGraph.GrappaNode snd
Constructor Detail

GrappaNodePair

public GrappaNodePair(GrappaGraph.GrappaNode _fst,
                      GrappaGraph.GrappaNode _snd)