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 Element
s and could check
if two formulas are logically equivalent.
TODO mime 20050205: work in progress
- Version:
- $Revision: 1.4 $
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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.