org.qedeq.kernel.bo.logic
Class EqualFormula

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

final class EqualFormula

extends Object

Encapsulates a logical formula. TODO mime 20050205: what for is this anyway???

Version:

$Revision: 1.3 $

Constructor Summary

(package private)

EqualFormula(Element formula) Constructor.

Method Summary

String

toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

EqualFormula

EqualFormula(Element formula)

Constructor.

Parameters:

formula - Element that defines the logical content.

Method Detail

toString

public String toString()