model

Interface PCExpression

All Known Subinterfaces:

Clause, Unifiable

All Known Implementing Classes:

AbstractOperator, And, Arithmetic, Constant, Equal, Not, ReactiveRule, Rule, SimpleSentence, Variable

public interface PCExpression

This interface represents the predicate expressions.

Author:

Alexandre Camus

Method Summary

Methods

Modifier and Type	Method and Description
PCExpression	replaceVariables(SubstitutionSet s) Replaces all the variables in the predicate expression according to the specified bindings.
PCExpression	standardizeVariablesApart(Hashtable<Variable,Variable> newVars) Standardizes the variables in order to be sure that there won't be any variable clashes.

Method Detail

replaceVariables

PCExpression replaceVariables(SubstitutionSet s)

Replaces all the variables in the predicate expression according to the specified bindings.

This method is recursive over all PCExpression implementations.

Parameters:

s - the SubstitutionSet that contains the bindings of the variables so far.

Returns:

a PCExpression object representing the bound predicate expression.

See Also:

SubstitutionSet

standardizeVariablesApart

PCExpression standardizeVariablesApart(Hashtable<Variable,Variable> newVars)

Standardizes the variables in order to be sure that there won't be any variable clashes.

This method is recursive over all PCExpression implementations.

Parameters:

newVars - is a parameter to save over the recursion all the variable replacements done so far.

Returns:

a PCExpression object representing the standardized predicate expression.