Class TermHelpers

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.TermHelpers

public final class TermHelpers
extends Object

A utility class for common operations on terms.

Method Summary

Modifier and Type	Method	Description
static <T> T	fold(Term[] terms, TermVisitor<T,T> tv, T init)
static <T> T	fold(Iterable<Term> terms, TermVisitor<T,T> tv, T init)
static boolean	unify(Term u, Term v, ConstOnlySubstitution s)
static boolean	unify(Term u, Term v, TermUnifier s)

Methods inherited from class java.lang.Object

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

Method Details

fold

public static <T> T fold(Iterable<Term> terms,
 TermVisitor<T,T> tv,
 T init)

fold

public static <T> T fold(Term[] terms,
 TermVisitor<T,T> tv,
 T init)

unify

public static boolean unify(Term u,
 Term v,
 ConstOnlySubstitution s)

unify

public static boolean unify(Term u,
 Term v,
 TermUnifier s)