org.jscience.mathematics.axiomatic
Class ProofSystem

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

public class ProofSystem
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
ProofSystem(java.lang.String[] rawProofs)
          Creates a new ProofSystem object.
 
Method Summary
 void analyze()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofSystem

public ProofSystem(java.lang.String[] rawProofs)
Creates a new ProofSystem object.

Parameters:
rawProofs - DOCUMENT ME!
Method Detail

analyze

public void analyze()
DOCUMENT ME!