org.jscience.mathematics.axiomatic
Class Unifier

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

public class Unifier
extends java.lang.Object

DOCUMENT ME!


Constructor Summary
Unifier()
           
 
Method Summary
static void main(java.lang.String[] args)
          DOCUMENT ME!
static boolean unify(WFF a, WFF b)
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Unifier

public Unifier()
Method Detail

unify

public static boolean unify(WFF a,
                            WFF b)
DOCUMENT ME!

Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!
Returns:
DOCUMENT ME!

main

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

Parameters:
args - DOCUMENT ME!