dpvis.datastructures
Class UtilityFunctions

java.lang.Object
  dpvis.datastructures.UtilityFunctions

public class UtilityFunctions
extends java.lang.Object

Constructor Summary

UtilityFunctions()

Method Summary

static boolean	termIsEmbedded(Term t1, Term t2)
static Substitution	unify(Term t1, Term t2) Tries to unify two terms.

Methods inherited from class java.lang.Object

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

Constructor Detail

UtilityFunctions

public UtilityFunctions()

Method Detail

unify

public static Substitution unify(Term t1,
                                 Term t2)
                          throws UnificationException

Tries to unify two terms. The variables of the given terms are not renamed.

Parameters:

t1 - The first term for the unification.

t2 - The second term for the unification.

Returns:

The Substitution that unifies the two terms in case of a successful unification.

Throws:

UnificationException - In case the given terms are not unifiable.

termIsEmbedded

public static boolean termIsEmbedded(Term t1,
                                     Term t2)