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

All Superinterfaces:

NodeType

All Known Implementing Classes:

RuleVo

public interface Rule
extends NodeType

Rule.

Author:

Michael Meyling

Method Summary

ChangedRuleList	getChangedRuleList() Get list of rules that are modified by this rule.
LatexList	getDescription() Get rule description.
LinkList	getLinkList() Get links necessary for having this rule.
java.lang.String	getName() Get rule name.
ProofList	getProofList() Get proofs for rule declaration.
java.lang.String	getVersion() Get rule version.

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

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

Method Detail

getName

java.lang.String getName()

Get rule name.

Returns:

Name of rule.

getVersion

java.lang.String getVersion()

Get rule version.

Returns:

Version of rule.

getDescription

LatexList getDescription()

Get rule description.

Returns:

Description.

getChangedRuleList

ChangedRuleList getChangedRuleList()

Get list of rules that are modified by this rule.

Returns:

List of rule changes.

getLinkList

LinkList getLinkList()

Get links necessary for having this rule.

Returns:

List of ids.

getProofList

ProofList getProofList()

Get proofs for rule declaration.

Returns:

Rule proof.