model

Class SubstitutionSet

java.lang.Object

model.SubstitutionSet

public class SubstitutionSet
extends Object

This class represents the bindings of different variables to unify to expression or in the context of a solution to a clause.

The bindings are stored as Unifiable in a Map sorted by Variable object.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
private Map<Variable,Unifiable>	bindings

Constructor Summary

Constructors

Constructor and Description
SubstitutionSet() Constructor of the class.
SubstitutionSet(SubstitutionSet s) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Variable v, Unifiable expr) Adds the specified binding to the substitution set.
void	clear() Deletes all the bindings.
Unifiable	getBinding(Variable v) Gets the binding of the specified variable.
boolean	isBound(Variable v) Checks if the specified variable has a binding.
String	toString() Returns the substitution set in the form of: "Bindings: [variable=[expression], variable=[expression], ...]".

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

bindings

private Map<Variable,Unifiable> bindings

Constructor Detail

SubstitutionSet

public SubstitutionSet()

Constructor of the class.

SubstitutionSet

public SubstitutionSet(SubstitutionSet s)

Constructor of the class.

Parameters:

s - the SubstitutionSet object to copy.

Method Detail

add

public void add(Variable v,
       Unifiable expr)

Adds the specified binding to the substitution set.

Parameters:

v - the variable that is bound by the binding.

expr - the expression to which the variable is bound.

clear

public void clear()

Deletes all the bindings.

getBinding

public Unifiable getBinding(Variable v)

Gets the binding of the specified variable.

Parameters:

v - the variable of the binding to get.

Returns:

a Unifiable object that represent the expression to which the variable is bound.

isBound

public boolean isBound(Variable v)

Checks if the specified variable has a binding.

Parameters:

v - the variable to check if it is bound.

Returns:

true if the variable is bound, otherwise false.

toString

public String toString()

Returns the substitution set in the form of: "Bindings: [variable=[expression], variable=[expression], ...]".

Overrides:

toString in class Object

See Also:

Object.toString()