org.jscience.mathematics.axiomatic
Class Analyzer

java.lang.Object
  extended by org.jscience.mathematics.axiomatic.Analyzer

public class Analyzer
extends java.lang.Object

DOCUMENT ME!


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

Constructor Detail

Analyzer

public Analyzer()
Method Detail

analyze

public static void analyze(java.lang.String[] proofs)
DOCUMENT ME!

Parameters:
proofs - DOCUMENT ME!

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException
DOCUMENT ME!

Parameters:
args - DOCUMENT ME!
Throws:
java.io.IOException - DOCUMENT ME!