org.qedeq.kernel.bo.logic.proof.finder
Class SubstPredBo

java.lang.Object
  org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo

All Implemented Interfaces:

Reason, SubstPred

public class SubstPredBo
extends java.lang.Object
implements SubstPred

Usage of rule for substitute predicate variable.

Author:

Michael Meyling

Constructor Summary

SubstPredBo(int n, Element predicateVariable, Element substituteFormula)
Constructs an reason.

Method Summary

boolean	equals(java.lang.Object obj)
int	getN() Get formula reference.
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	setN(int n) Set formula reference.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubstPredBo

public SubstPredBo(int n,
                   Element predicateVariable,
                   Element substituteFormula)

Constructs an reason.

Parameters:

n - Reference to a valid formula.

predicateVariable - Predicate variable that will be substituted.

substituteFormula - Replacement formula.

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.

setN

public void setN(int n)

Set formula reference.

Parameters:

n - Reference to formula.

getN

public int getN()

Get formula reference.

Returns:

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.

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.

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