org.qedeq.kernel.dto.module
Class AxiomVo

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

All Implemented Interfaces:

Axiom, NodeType

public final class AxiomVo

extends Object

implements Axiom

Axiom.

Version:

$Revision: 1.9 $

Constructor Summary

AxiomVo()
Constructs a new axiom.

Method Summary

boolean	equals(Object obj)
Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
LatexList	getDescription() Get description.
Formula	getFormula() Get formula that is an axiom.
FunctionDefinition	getFunctionDefinition() Get definition, if this is an instance of FunctionDefinition.
PredicateDefinition	getPredicateDefinition() Get definition, if this is an instance of PredicateDefinition.
Proposition	getProposition() Get proposition, if this is an instance of Proposition.
Rule	getRule() Get rule, if this is an instance of Rule.
int	hashCode()
void	setDescription(LatexListVo description) Set description.
void	setFormula(FormulaVo formula) Set axiom formula.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomVo

public AxiomVo()

Constructs a new axiom.

Method Detail

getAxiom

public Axiom getAxiom()

Description copied from interface: NodeType

Get axiom, if this is an instance of Axiom.

Specified by:

getAxiom in interface NodeType

Returns:

Axiom, maybe null.

getPredicateDefinition

public PredicateDefinition getPredicateDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of PredicateDefinition.

Specified by:

getPredicateDefinition in interface NodeType

Returns:

Definition, maybe null.

getFunctionDefinition

public FunctionDefinition getFunctionDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of FunctionDefinition.

Specified by:

getFunctionDefinition in interface NodeType

Returns:

Definition, maybe null.

getProposition

public Proposition getProposition()

Description copied from interface: NodeType

Get proposition, if this is an instance of Proposition.

Specified by:

getProposition in interface NodeType

Returns:

Proposition, maybe null.

getRule

public Rule getRule()

Description copied from interface: NodeType

Get rule, if this is an instance of Rule.

Specified by:

getRule in interface NodeType

Returns:

Rule, maybe null.

setFormula

public final void setFormula(FormulaVo formula)

Set axiom formula.

Parameters:

formula - Set axiom formula.

getFormula

public final Formula getFormula()

Description copied from interface: Axiom

Get formula that is an axiom.

Specified by:

getFormula in interface Axiom

Returns:

Axiom formula.

setDescription

public final void setDescription(LatexListVo description)

Set description. Only necessary if formula is not self-explanatory.

Parameters:

description - Description.

getDescription

public LatexList getDescription()

Description copied from interface: Axiom

Get description. Only necessary if formula is not self-explanatory.

Specified by:

getDescription in interface Axiom

Returns:

Description.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()