org.qedeq.kernel.se.base.module
Interface Proposition

All Superinterfaces:

NodeType

All Known Implementing Classes:

PropositionVo

public interface Proposition
extends NodeType

Proposition.

Author:

Michael Meyling

Method Summary

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

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

getAxiom, getFunctionDefinition, getInitialFunctionDefinition, getInitialPredicateDefinition, getPredicateDefinition, getProposition, getRule

Method Detail

getFormula

Formula getFormula()

Get formula that is a proposition.

Returns:

Proposition formula.

getDescription

LatexList getDescription()

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

Returns:

Description.

getProofList

ProofList getProofList()

Get non formal proofs for proposition.

Returns:

Proposition proofs.

getFormalProofList

FormalProofList getFormalProofList()

Get formal proofs for proposition.

Returns:

Proposition proofs.