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

All Superinterfaces:

Reason

All Known Implementing Classes:

SubstFuncVo

public interface SubstFunc
extends Reason

Usage of substitute function variable by term.

   A(f(x1, x2, .., xn)
  -----------------------
   A(term(x1, x2, .., xn)
 

Author:

Michael Meyling

Method Summary

Element	getFunctionVariable() Get function variable (with subject variables as parameters) that should be replaced.
java.lang.String	getReference() Get reference to already proven formula.
SubstFunc	getSubstFunc() Get this reason.
Element	getSubstituteTerm() Get substitute term.

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

getName, getReferences

Method Detail

getSubstFunc

SubstFunc getSubstFunc()

Get this reason.

Returns:

This reason.

getReference

java.lang.String getReference()

Get reference to already proven formula.

Returns:

Reference to previously proved formula.

getFunctionVariable

Element getFunctionVariable()

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

Returns:

Function variable.

getSubstituteTerm

Element getSubstituteTerm()

Get substitute term. Must contain the subject variables from getFunctionVariable().

Returns:

Replacement term.