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

All Superinterfaces:

NodeType

All Known Implementing Classes:

AxiomVo

public interface Axiom
extends NodeType

Axiom.

Author:

Michael Meyling

Method Summary

java.lang.String	getDefinedOperator() Get operator that is defined by this axiom.
LatexList	getDescription() Get description.
Formula	getFormula() Get formula that is an axiom.

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

Returns:

Axiom formula.

getDescription

LatexList getDescription()

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

Returns:

Description.

getDefinedOperator

java.lang.String getDefinedOperator()

Get operator that is defined by this axiom.

Returns:

Description.