org.qedeq.kernel.dto.module
Class FormulaVo

java.lang.Object
  org.qedeq.kernel.dto.module.FormulaVo

All Implemented Interfaces:

Formula

public final class FormulaVo

extends Object

implements Formula

Wraps a formula. Such an object is build out of Elements.

Version:

$Revision: 1.2 $

Constructor Summary

FormulaVo()
Empty constructor.

FormulaVo(Element element)
Constructs a formula.

Method Summary

boolean	equals(Object obj)
Element	getElement() Get formula or term.
int	hashCode()
void	setElement(Element element) Set formula.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FormulaVo

public FormulaVo(Element element)

Constructs a formula.

Parameters:

element - Element that should be a formula.

FormulaVo

public FormulaVo()

Empty constructor.

Method Detail

setElement

public final void setElement(Element element)

Set formula.

Parameters:

element - Formula.

getElement

public final Element getElement()

Description copied from interface: Formula

Get formula or term.

Specified by:

getElement in interface Formula

Returns:

Word that should be a formula.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()