|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.qedeq.kernel.se.dto.module.FormulaVo
public class FormulaVo
Wraps a formula. Such an object is build out of
Element
s.
Constructor Summary | |
---|---|
FormulaVo()
Empty constructor. |
|
FormulaVo(Element element)
Constructs a formula. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
Element |
getElement()
Get formula or term. |
int |
hashCode()
|
void |
setElement(Element element)
Set formula. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public FormulaVo(Element element)
element
- Element that should be a formula.public FormulaVo()
Method Detail |
---|
public final void setElement(Element element)
element
- Formula.public final Element getElement()
Formula
getElement
in interface Formula
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |