org.qedeq.kernel.bo.module
Class RuleBo

java.lang.Object
  org.qedeq.kernel.bo.module.RuleBo

All Implemented Interfaces:

NodeType, Rule

public final class RuleBo

extends Object

implements Rule

Rule declaration.

Version:

$Revision: 1.3 $

Constructor Summary

RuleBo()
Constructs a new proposition.

Method Summary

void	addLink(String id) Add link for this rule.
boolean	equals(Object obj)
Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
Definition	getDefinition() Get definition, if this is an instance of Definition.
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.
Proposition	getProposition() Get proposition, if this is an instance of Proposition.
Rule	getRule() Get rule, if this is an instance of Rule.
int	hashCode()
void	setDescription(LatexList description) Set description.
void	setLinkList(LinkListBo linkList) Set id list.
void	setName(String name) Set rule name.
void	setProofList(ProofListBo proofList) Set rule proof list.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

RuleBo

public RuleBo()

Constructs a new proposition.

Method Detail

getAxiom

public Axiom getAxiom()

Description copied from interface: NodeType

Get axiom, if this is an instance of Axiom.

Specified by:

getAxiom in interface NodeType

Returns:

Axiom, maybe null.

getDefinition

public Definition getDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of Definition.

Specified by:

getDefinition in interface NodeType

Returns:

Definition, maybe null.

getProposition

public Proposition getProposition()

Description copied from interface: NodeType

Get proposition, if this is an instance of Proposition.

Specified by:

getProposition in interface NodeType

Returns:

Proposition, maybe null.

getRule

public Rule getRule()

Description copied from interface: NodeType

Get rule, if this is an instance of Rule.

Specified by:

getRule in interface NodeType

Returns:

Rule, maybe null.

setLinkList

public final void setLinkList(LinkListBo linkList)

Set id list.

Parameters:

linkList - Link list.

getLinkList

public final LinkList getLinkList()

Description copied from interface: Rule

Get links necessary for having this rule.

Specified by:

getLinkList in interface Rule

Returns:

List of ids.

setProofList

public final void setProofList(ProofListBo proofList)

Set rule proof list.

Parameters:

proofList - Proof list.

getProofList

public final ProofList getProofList()

Description copied from interface: Rule

Get proofs for rule declaration.

Specified by:

getProofList in interface Rule

Returns:

Rule proof.

setName

public final void setName(String name)

Set rule name.

Parameters:

name - Rule name.

getName

public final String getName()

Description copied from interface: Rule

Get rule name.

Specified by:

getName in interface Rule

Returns:

Name of rule.

addLink

public final void addLink(String id)

Add link for this rule.

Parameters:

id - Id to add.

setDescription

public final void setDescription(LatexList description)

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

Parameters:

description - Description.

getDescription

public LatexList getDescription()

Description copied from interface: Rule

Get rule description.

Specified by:

getDescription in interface Rule

Returns:

Description.

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()