Class Test

java.lang.Object
  extended byTest

public class Test
extends java.lang.Object


Constructor Summary
Test()
           
 
Method Summary
static void main(java.lang.String[] argv)
           
(package private) static void test(Unifiable x, Unifiable y)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Test

public Test()
Method Detail

main

public static void main(java.lang.String[] argv)

test

static void test(Unifiable x,
                 Unifiable y)