org.jscience.mathematics.axiomatic
Class Unifier

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