reasoner
Class QuantifierTest

java.lang.Object
  extended by reasoner.QuantifierTest

public class QuantifierTest
extends java.lang.Object


Constructor Summary
QuantifierTest()
           
 
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

QuantifierTest

public QuantifierTest()
Method Detail

main

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