org.qedeq.kernel.base.module
Interface Rule

All Superinterfaces:

NodeType

All Known Implementing Classes:

RuleVo

public interface Rule

extends NodeType

Rule.

Version:

$Revision: 1.4 $

Method Summary

LatexList	getDescription() Get rule description.
LinkList	getLinkList() Get links necessary for having this rule.
String	getName() Get rule name.
ProofList	getProofList() Get proofs for rule declaration.

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

getAxiom, getFunctionDefinition, getPredicateDefinition, getProposition, getRule

Method Detail

getName

public String getName()

Get rule name.

Returns:

Name of rule.

getDescription

public LatexList getDescription()

Get rule description.

Returns:

Description.

getLinkList

public LinkList getLinkList()

Get links necessary for having this rule.

Returns:

List of ids.

getProofList

public ProofList getProofList()

Get proofs for rule declaration.

Returns:

Rule proof.