org.qedeq.kernel.base.module
Interface Proposition

All Superinterfaces:

NodeType

All Known Implementing Classes:

PropositionVo

public interface Proposition

extends NodeType

Proposition.

Version:

$Revision: 1.9 $

Method Summary

LatexList	getDescription() Get description.
Formula	getFormula() Get formula that is a proposition.
ProofList	getProofList() Get proofs for proposition.

Methods inherited from interface org.qedeq.kernel.base.module.NodeType

getAxiom, getFunctionDefinition, getPredicateDefinition, getProposition, getRule

Method Detail

getFormula

public Formula getFormula()

Get formula that is a proposition.

Returns:

Proposition formula.

getDescription

public LatexList getDescription()

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

Returns:

Description.

getProofList

public ProofList getProofList()

Get proofs for proposition.

Returns:

Proposition proofs.