org.jscience.mathematics.axiomatic
Class Prover

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

public class Prover
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
Prover()
           
 
Method Summary
static boolean evaluate(java.lang.String proof, WFF leftOriginal, WFF rightOriginal)
          DOCUMENT ME!
static boolean factor(WFF unified, java.lang.String proof)
          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

Prover

public Prover()
Method Detail

factor

public static boolean factor(WFF unified,
                             java.lang.String proof)
                      throws java.io.FileNotFoundException
DOCUMENT ME!

Parameters:
unified - DOCUMENT ME!
proof - DOCUMENT ME!
Returns:
DOCUMENT ME!
Throws:
java.io.FileNotFoundException - DOCUMENT ME!

evaluate

public static boolean evaluate(java.lang.String proof,
                               WFF leftOriginal,
                               WFF rightOriginal)
                        throws java.io.FileNotFoundException
DOCUMENT ME!

Parameters:
proof - DOCUMENT ME!
leftOriginal - DOCUMENT ME!
rightOriginal - DOCUMENT ME!
Returns:
DOCUMENT ME!
Throws:
java.io.FileNotFoundException - DOCUMENT ME!

main

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

Parameters:
args - DOCUMENT ME!
Throws:
java.lang.Exception - DOCUMENT ME!