/*
 * Created on 11.02.2005
 *
 * To change the template for this generated file go to
 * Window>Preferences>Java>Code Generation>Code and Comments
 */
package org.qedeq.kernel.bo.logic;

import org.qedeq.kernel.base.elli.Element;


/**
 * Encapsulates a logical formula.
 * TODO mime 20050205: what for is this anyway???
 *
 * @version $Revision: 1.3 $
 * @author  Michael Meyling
 */
final class EqualFormula {

    /** Element that defines the logical content. */
    private final Element formula;


    /**
     * Constructor.
     *
     * @param   formula     Element that defines the logical content.
     */
    EqualFormula(final Element formula) {
        this.formula = formula;
    }

    public String toString() {
        return formula.toString();
    }

}