model

Interface Unifiable

All Superinterfaces:

PCExpression

All Known Implementing Classes:

Constant, SimpleSentence, Variable

public interface Unifiable
extends PCExpression

This interface represents a subdivision among the predicate expressions. It extends the PCExpression interface and creates the subdivision of the predicate expressions that can be unified.

Author:

Alexandre Camus

Method Summary

Methods

Modifier and Type	Method and Description
String	getName() Gets the name of the expression.
SubstitutionSet	unify(Unifiable expr, SubstitutionSet s) Unifies the expression with the specified expr expression given the bindings s.

Methods inherited from interface model.PCExpression

replaceVariables, standardizeVariablesApart

Method Detail

getName

String getName()

Gets the name of the expression.

Returns:

the name of the expression. It will return null if there is no one.

unify

SubstitutionSet unify(Unifiable expr,
                    SubstitutionSet s)

Unifies the expression with the specified expr expression given the bindings s. This tries to get or add bindings in order to make logically equivalent the expression and the specified expression.

This method is recursive over all Unifiable implementations.

Parameters:

expr - an expression to unify with the expression.

s - the SubstitutionSet object representing the bindings so far and/or the constraints applied.

Returns:

a SubstitutionSet object that contains all the bindings needed to unify the expression to the specified expression.

See Also:

SubstitutionSet