Hilbert II - Version 0.03.04

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.

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.