org.jscience.mathematics.axiomatic
Class Prover

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