org.qedeq.kernel.base.module
Interface Axiom

All Superinterfaces:

NodeType

All Known Implementing Classes:

AxiomVo

public interface Axiom

extends NodeType

Axiom.

Version:

$Revision: 1.8 $

Method Summary

LatexList	getDescription() Get description.
Formula	getFormula() Get formula that is an axiom.

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 an axiom.

Returns:

Axiom formula.

getDescription

public LatexList getDescription()

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

Returns:

Description.