edu.neu.ccs.demeterf.examples
Class TUTest

java.lang.Object
  edu.neu.ccs.demeterf.examples.TUTest

public class TUTest
extends java.lang.Object

Type unification test. We can unify an arbitrary recursive object structure. We use TUCombiner to fund the count/sum/product of nested arithmetic expressions.

Constructor Summary

TUTest()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TUTest

public TUTest()

Method Detail

main

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