it.unibz.inf.ontop.substitution.impl

Class SubstitutionUtilities

java.lang.Object

it.unibz.inf.ontop.substitution.impl.SubstitutionUtilities

public class SubstitutionUtilities
extends Object

This utility class provides common operations on substitution functions.

Constructor Summary

Constructors

Constructor and Description
SubstitutionUtilities()

Method Summary

Modifier and Type	Method and Description
static void	applySubstitution(Function atom, Substitution unifier) Applies the substitution to all the terms in the list.
static void	applySubstitution(Function atom, Substitution unifier, int fromIndex)

Methods inherited from class java.lang.Object

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

Constructor Detail

SubstitutionUtilities

public SubstitutionUtilities()

Method Detail

applySubstitution

public static void applySubstitution(Function atom,
                                     Substitution unifier)

Applies the substitution to all the terms in the list. Note that this will not clone the list or the terms inside the list.

Parameters:

atom -

unifier -

applySubstitution

public static void applySubstitution(Function atom,
                                     Substitution unifier,
                                     int fromIndex)