org.jscience.mathematics.axiomatic
Class Analyzer

java.lang.Object
  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!