org.qedeq.kernel.se.dto.module
Class RuleVo

java.lang.Object
  org.qedeq.kernel.se.dto.module.RuleVo

All Implemented Interfaces:

NodeType, Rule

public class RuleVo
extends java.lang.Object
implements Rule

Rule declaration.

Author:

Michael Meyling

Constructor Summary

RuleVo()
Constructs a new rule declaration.

Method Summary

void	addChangedRule(ChangedRuleVo changedRule) Add changed rule to this list.
void	addLink(java.lang.String id) Add link for this rule.
void	addProof(ProofVo proof) Add proof to this list.
boolean	equals(java.lang.Object obj)
Axiom	getAxiom() Get axiom, if this is an instance of Axiom.
ChangedRuleList	getChangedRuleList() Get list of rules that are modified by this rule.
LatexList	getDescription() Get rule description.
FunctionDefinition	getFunctionDefinition() Get definition, if this is an instance of FunctionDefinition.
InitialFunctionDefinition	getInitialFunctionDefinition() Get definition, if this is an instance of InitialFunctionDefinition.
InitialPredicateDefinition	getInitialPredicateDefinition() Get initial definition, if this is an instance of InitialPredicateDefinition.
LinkList	getLinkList() Get links necessary for having this rule.
java.lang.String	getName() Get rule name.
PredicateDefinition	getPredicateDefinition() Get definition, if this is an instance of PredicateDefinition.
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.
java.lang.String	getVersion() Get rule version.
int	hashCode()
void	setChangedRuleList(ChangedRuleListVo changedRuleList) Set list of changed rules.
void	setDescription(LatexListVo description) Set description.
void	setLinkList(LinkListVo linkList) Set list of necessary ids.
void	setName(java.lang.String name) Set rule name.
void	setProofList(ProofListVo proofList) Set rule proof list.
void	setVersion(java.lang.String version) Set rule version.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleVo

public RuleVo()

Constructs a new rule declaration.

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.

getInitialPredicateDefinition

public InitialPredicateDefinition getInitialPredicateDefinition()

Description copied from interface: NodeType

Get initial definition, if this is an instance of InitialPredicateDefinition.

Specified by:

getInitialPredicateDefinition in interface NodeType

Returns:

Definition, maybe null.

getPredicateDefinition

public PredicateDefinition getPredicateDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of PredicateDefinition.

Specified by:

getPredicateDefinition in interface NodeType

Returns:

Definition, maybe null.

getInitialFunctionDefinition

public InitialFunctionDefinition getInitialFunctionDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of InitialFunctionDefinition.

Specified by:

getInitialFunctionDefinition in interface NodeType

Returns:

Definition, maybe null.

getFunctionDefinition

public FunctionDefinition getFunctionDefinition()

Description copied from interface: NodeType

Get definition, if this is an instance of FunctionDefinition.

Specified by:

getFunctionDefinition 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.

setName

public final void setName(java.lang.String name)

Set rule name.

Parameters:

name - Rule name.

getName

public final java.lang.String getName()

Description copied from interface: Rule

Get rule name.

Specified by:

getName in interface Rule

Returns:

Name of rule.

setVersion

public final void setVersion(java.lang.String version)

Set rule version.

Parameters:

version - Rule version.

getVersion

public final java.lang.String getVersion()

Description copied from interface: Rule

Get rule version.

Specified by:

getVersion in interface Rule

Returns:

Version of rule.

setLinkList

public final void setLinkList(LinkListVo linkList)

Set list of necessary ids.

Parameters:

linkList - 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.

addLink

public final void addLink(java.lang.String id)

Add link for this rule.

Parameters:

id - Id to add.

setDescription

public final void setDescription(LatexListVo description)

Set description.

Parameters:

description - Description.

getDescription

public LatexList getDescription()

Description copied from interface: Rule

Get rule description.

Specified by:

getDescription in interface Rule

Returns:

Description.

setProofList

public final void setProofList(ProofListVo 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.

addProof

public final void addProof(ProofVo proof)

Add proof to this list.

Parameters:

proof - Proof to add.

setChangedRuleList

public final void setChangedRuleList(ChangedRuleListVo changedRuleList)

Set list of changed rules.

Parameters:

changedRuleList - List of changed rules.

getChangedRuleList

public final ChangedRuleList getChangedRuleList()

Description copied from interface: Rule

Get list of rules that are modified by this rule.

Specified by:

getChangedRuleList in interface Rule

Returns:

List of rule changes.

addChangedRule

public final void addChangedRule(ChangedRuleVo changedRule)

Add changed rule to this list.

Parameters:

changedRule - Changed rule to add.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object