org.qedeq.kernel.se.base.module
Interface SubstPred

All Superinterfaces:

Reason

All Known Implementing Classes:

SubstPredBo, SubstPredVo

public interface SubstPred
extends Reason

Usage of substitute predicate variable by formula.

   A(p(x1, x2, .., xn)
  --------------------------
   A(formula(x1, x2, .., xn)
 

Author:

Michael Meyling

Method Summary

Element	getPredicateVariable() Get predicate variable (with subject variables as parameters) that should be replaced.
java.lang.String	getReference() Get reference to already proven formula.
Element	getSubstituteFormula() Get substitute formula.
SubstPred	getSubstPred() Get this reason.

Methods inherited from interface org.qedeq.kernel.se.base.module.Reason

getName, getReferences

Method Detail

getSubstPred

SubstPred getSubstPred()

Get this reason.

Returns:

This reason.

getReference

java.lang.String getReference()

Get reference to already proven formula.

Returns:

Reference to previously proved formula.

getPredicateVariable

Element getPredicateVariable()

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

Returns:

Reference to previously proved formula.

getSubstituteFormula

Element getSubstituteFormula()

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

Returns:

Replacement term.