Interface Substitution

All Known Subinterfaces:

ConstOnlySubstitution, TermUnifier

All Known Implementing Classes:

ClauseSubstitution, SimpleConstSubstitution, UnionFindBasedUnifier

public interface Substitution

A mapping from variables to terms.

Method Summary

Modifier and Type	Method	Description
Term[]	apply(Term[] original)	Apply this substitution to a list of terms, creating a new list.
Term	get(Variable x)	Retrieves the mapping of a variable.

Method Details

apply

Term[] apply(Term[] original)

Apply this substitution to a list of terms, creating a new list.

Parameters:

original - the original list

Returns:

the new list

get

Term get(Variable x)

Retrieves the mapping of a variable.

Parameters:

x - the variable

Returns:

the term that the variable is bound to, or null if the variable is not in the substitution