org.qedeq.kernel.se.dto.module
Class PropositionVo

java.lang.Object
  org.qedeq.kernel.se.dto.module.PropositionVo

All Implemented Interfaces:

NodeType, Proposition

public class PropositionVo
extends java.lang.Object
implements Proposition

Proposition.

Author:

Michael Meyling

Constructor Summary

PropositionVo()
Constructs a new proposition.

Method Summary

void	addFormalProof(FormalProofVo proof) Add non formal proof to this list.
void	addProof(ProofVo proof) Add proof to this list.
boolean	equals(java.lang.Object obj)
Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
LatexList	getDescription() Get description.
FormalProofList	getFormalProofList() Get formal proofs for proposition.
Formula	getFormula() Get formula that is a proposition.
FunctionDefinition	getFunctionDefinition() Get definition, if this is an instance of FunctionDefinition.
InitialFunctionDefinition	getInitialFunctionDefinition() Get definition, if this is an instance of InitialFunctionDefinition.
InitialPredicateDefinition	getInitialPredicateDefinition() Get initial definition, if this is an instance of InitialPredicateDefinition.
PredicateDefinition	getPredicateDefinition() Get definition, if this is an instance of PredicateDefinition.
ProofList	getProofList() Get non formal 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(LatexListVo description) Set description.
void	setFormalProofList(FormalProofListVo formalProofList) Set proof list.
void	setFormula(FormulaVo formula) Set proposition formula.
void	setProofList(ProofListVo proofList) Set proof list.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PropositionVo

public PropositionVo()

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.

getInitialPredicateDefinition

public InitialPredicateDefinition getInitialPredicateDefinition()

Description copied from interface: NodeType

Get initial definition, if this is an instance of InitialPredicateDefinition.

Specified by:

getInitialPredicateDefinition in interface NodeType

Returns:

Definition, 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.

getInitialFunctionDefinition

public InitialFunctionDefinition getInitialFunctionDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of InitialFunctionDefinition.

Specified by:

getInitialFunctionDefinition 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 proposition formula.

Parameters:

formula - Proposition formula.

getFormula

public final Formula getFormula()

Description copied from interface: Proposition

Get formula that is a proposition.

Specified by:

getFormula in interface Proposition

Returns:

Proposition 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: Proposition

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

Specified by:

getDescription in interface Proposition

Returns:

Description.

setProofList

public final void setProofList(ProofListVo proofList)

Set proof list.

Parameters:

proofList - Proof list.

getProofList

public final ProofList getProofList()

Description copied from interface: Proposition

Get non formal proofs for proposition.

Specified by:

getProofList in interface Proposition

Returns:

Proposition proofs.

addProof

public final void addProof(ProofVo proof)

Add proof to this list.

Parameters:

proof - Proof to add.

setFormalProofList

public final void setFormalProofList(FormalProofListVo formalProofList)

Set proof list.

Parameters:

formalProofList - Proof list.

getFormalProofList

public final FormalProofList getFormalProofList()

Description copied from interface: Proposition

Get formal proofs for proposition.

Specified by:

getFormalProofList in interface Proposition

Returns:

Proposition proofs.

addFormalProof

public final void addFormalProof(FormalProofVo proof)

Add non formal proof to this list.

Parameters:

proof - Proof to add.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object