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

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

All Implemented Interfaces:

Reason, SubstFree

public class SubstFreeVo
extends java.lang.Object
implements SubstFree

Usage of rule for substitute free subject variable.

Author:

Michael Meyling

Constructor Summary

SubstFreeVo()
Default constructor.

SubstFreeVo(java.lang.String reference, Element subjectVariable, Element substituteTerm)
Constructs an reason.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getName() Get name for this reason.
java.lang.String	getReference() Get reference to already proven formula.
java.lang.String[]	getReferences() Get references to previous formulas.
Element	getSubjectVariable() Get free subject variable that should be replaced.
SubstFree	getSubstFree() Get this reason.
Element	getSubstituteTerm() Get replacement term.
int	hashCode()
void	setReference(java.lang.String reference) Set formula reference.
void	setSubjectVariable(Element subjectVariable) Get subject variable that will be substituted.
void	setSubstituteTerm(Element substituteTerm) Set substitution term.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubstFreeVo

public SubstFreeVo(java.lang.String reference,
                   Element subjectVariable,
                   Element substituteTerm)

Constructs an reason.

Parameters:

reference - Reference to a valid formula.

subjectVariable - Bound subject variable that will be substituted.

substituteTerm - Replacement term.

SubstFreeVo

public SubstFreeVo()

Default constructor.

Method Detail

getSubstFree

public SubstFree getSubstFree()

Description copied from interface: SubstFree

Get this reason.

Specified by:

getSubstFree in interface SubstFree

Returns:

This reason.

getReference

public java.lang.String getReference()

Description copied from interface: SubstFree

Get reference to already proven formula.

Specified by:

getReference in interface SubstFree

Returns:

Reference to previously proved formula.

setReference

public void setReference(java.lang.String reference)

Set formula reference.

Parameters:

reference - Reference to formula.

getReferences

public java.lang.String[] getReferences()

Description copied from interface: Reason

Get references to previous formulas.

Specified by:

getReferences in interface Reason

Returns:

List of references. Contains no entries with value null.

getSubjectVariable

public Element getSubjectVariable()

Description copied from interface: SubstFree

Get free subject variable that should be replaced.

Specified by:

getSubjectVariable in interface SubstFree

Returns:

Subject variable.

setSubjectVariable

public void setSubjectVariable(Element subjectVariable)

Get subject variable that will be substituted.

Parameters:

subjectVariable - Subject variable that will be replaced.

getSubstituteTerm

public Element getSubstituteTerm()

Description copied from interface: SubstFree

Get replacement term.

Specified by:

getSubstituteTerm in interface SubstFree

Returns:

Replacement term.

setSubstituteTerm

public void setSubstituteTerm(Element substituteTerm)

Set substitution term.

Parameters:

substituteTerm - New term.

getName

public java.lang.String getName()

Description copied from interface: Reason

Get name for this reason.

Specified by:

getName in interface Reason

Returns:

Name.

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