dpvis.datastructures
Interface Substitution

All Superinterfaces:

java.io.Serializable

public interface Substitution
extends java.io.Serializable

Class modelling a Substitution.

Author:

Felix

Method Summary

java.util.Map<java.lang.String,Term>	getSubstitution() Returns the substitution as a mapping from variables to terms.
void	merge(Substitution newSubst) Merges a given substitution with this substitution if they are compatible.

Method Detail

getSubstitution

java.util.Map<java.lang.String,Term> getSubstitution()

Returns the substitution as a mapping from variables to terms.

Returns:

The mapping from variables to terms.

merge

void merge(Substitution newSubst)
           throws UnificationException

Merges a given substitution with this substitution if they are compatible. Otherwise a UnificationException is thrown.

Parameters:

newSubst - The substitution to be merged.

Throws:

UnificationException - In case the substitution cannot be merged into this substitution.