org.qedeq.kernel.bo.module
Class PropositionBo

java.lang.Object
  org.qedeq.kernel.bo.module.PropositionBo

All Implemented Interfaces:

NodeType, Proposition

public final class PropositionBo

extends Object

implements Proposition

Proposition.

Version:

$Revision: 1.4 $

Constructor Summary

PropositionBo()
Constructs a new proposition.

Method Summary

void	addProof(Proof proof) Add proof for this proposition.
boolean	equals(Object obj)
Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
Definition	getDefinition() Get definition, if this is an instance of Definition.
LatexList	getDescription() Get description.
FormulaOrTerm	getFormula() Get formula that is a proposition.
ProofList	getProofList() Get proofs for proposition.
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(LatexList description) Set description.
void	setFormula(FormulaOrTerm formula) Set proposition formula.
void	setProofList(ProofListBo proofList) Set proof list of this proposition.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PropositionBo

public PropositionBo()

Constructs a new proposition.

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.

getDefinition

public Definition getDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of Definition.

Specified by:

getDefinition 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(FormulaOrTerm formula)

Set proposition formula.

Parameters:

formula - Proposition formula.

getFormula

public final FormulaOrTerm getFormula()

Description copied from interface: Proposition

Get formula that is a proposition.

Specified by:

getFormula in interface Proposition

Returns:

Proposition formula.

setProofList

public final void setProofList(ProofListBo proofList)

Set proof list of this proposition.

Parameters:

proofList - Proof list.

getProofList

public final ProofList getProofList()

Description copied from interface: Proposition

Get proofs for proposition.

Specified by:

getProofList in interface Proposition

Returns:

Proposition proofs.

addProof

public final void addProof(Proof proof)

Add proof for this proposition.

Parameters:

proof - Proof to add.

setDescription

public final void setDescription(LatexList description)

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

Parameters:

description - Description.

getDescription

public LatexList getDescription()

Description copied from interface: Proposition

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

Specified by:

getDescription in interface Proposition

Returns:

Description.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()