edu.toronto.cs.yasm.abstractor
Class TestPredicateParser

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.TestPredicateParser

public class TestPredicateParser
extends java.lang.Object


Constructor Summary
TestPredicateParser()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestPredicateParser

public TestPredicateParser()
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception