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

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

All Implemented Interfaces:

Reason, SubstPred

public class SubstPredVo
extends java.lang.Object
implements SubstPred

Usage of rule for substitute predicate variable.

Author:

Michael Meyling

Constructor Summary

SubstPredVo()
Default constructor.

SubstPredVo(java.lang.String reference, Element predicateVariable, Element substituteFormula)
Constructs an reason.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getName() Get name for this reason.
Element	getPredicateVariable() Get predicate variable (with subject variables as parameters) that should be replaced.
java.lang.String	getReference() Get reference to already proven formula.
java.lang.String[]	getReferences() Get references to previous formulas.
Element	getSubstituteFormula() Get substitute formula.
SubstPred	getSubstPred() Get this reason.
int	hashCode()
void	setPredicateVariable(Element predicateVariable) Set predicate variable that will be substituted.
void	setReference(java.lang.String reference) Set formula reference.
void	setSubstituteFormula(Element substituteFormula) Set substitution formula.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubstPredVo

public SubstPredVo(java.lang.String reference,
                   Element predicateVariable,
                   Element substituteFormula)

Constructs an reason.

Parameters:

reference - Reference to a valid formula.

predicateVariable - Predicate variable that will be substituted.

substituteFormula - Replacement formula.

SubstPredVo

public SubstPredVo()

Default constructor.

Method Detail

getSubstPred

public SubstPred getSubstPred()

Description copied from interface: SubstPred

Get this reason.

Specified by:

getSubstPred in interface SubstPred

Returns:

This reason.

getReference

public java.lang.String getReference()

Description copied from interface: SubstPred

Get reference to already proven formula.

Specified by:

getReference in interface SubstPred

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.

getPredicateVariable

public Element getPredicateVariable()

Description copied from interface: SubstPred

Get predicate variable (with subject variables as parameters) that should be replaced.

Specified by:

getPredicateVariable in interface SubstPred

Returns:

Reference to previously proved formula.

setPredicateVariable

public void setPredicateVariable(Element predicateVariable)

Set predicate variable that will be substituted.

Parameters:

predicateVariable - Function variable that will be replaced.

getSubstituteFormula

public Element getSubstituteFormula()

Description copied from interface: SubstPred

Get substitute formula. Must contain the subject variables from SubstPred.getPredicateVariable().

Specified by:

getSubstituteFormula in interface SubstPred

Returns:

Replacement term.

setSubstituteFormula

public void setSubstituteFormula(Element substituteFormula)

Set substitution formula.

Parameters:

substituteFormula - New formula.

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