org.qedeq.kernel.bo.logic
Class LogicalEquivalence

java.lang.Object
  org.qedeq.kernel.bo.logic.LogicalEquivalence

public final class LogicalEquivalence

extends Object

This class deals with Elements and could check if two formulas are logically equivalent. TODO mime 20050205: work in progress

Version:

$Revision: 1.4 $

Method Summary

static void

checkEquivalence(Element formula1, Element formula2) Assures that two words are logically equivalent.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

checkEquivalence

public static final void checkEquivalence(Element formula1,
                                          Element formula2)
                                   throws CheckException

Assures that two words are logically equivalent.

Parameters:

formula1 - First formula.

formula2 - Second formula.

Throws:

CheckException - Check failed.