Uses of Interface
edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitor

Packages that use TermVisitor

Package	Description
edu.harvard.seas.pl.abcdatalog.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.ast.visitors	This package contains classes that implement the visitor design pattern for visiting AST nodes.

Uses of TermVisitor in edu.harvard.seas.pl.abcdatalog.ast

Methods in edu.harvard.seas.pl.abcdatalog.ast with parameters of type TermVisitor

Modifier and Type	Method	Description
<I, O> O	Constant.accept(TermVisitor<I,O> visitor, I state)
<I, O> O	Term.accept(TermVisitor<I,O> visitor, I state)
<I, O> O	Variable.accept(TermVisitor<I,O> visitor, I state)
static <T> T	TermHelpers.fold(Term[] terms, TermVisitor<T,T> tv, T init)
static <T> T	TermHelpers.fold(Iterable<Term> terms, TermVisitor<T,T> tv, T init)

Uses of TermVisitor in edu.harvard.seas.pl.abcdatalog.ast.visitors

Classes in edu.harvard.seas.pl.abcdatalog.ast.visitors that implement TermVisitor

Modifier and Type	Class	Description
class	DefaultTermVisitor<I,O>

Methods in edu.harvard.seas.pl.abcdatalog.ast.visitors that return TermVisitor

Modifier and Type	Method	Description
TermVisitor<I,O>	TermVisitorBuilder.or(BiFunction<Term,I,O> f)
TermVisitor<I,O>	TermVisitorBuilder.orCrash()
TermVisitor<I,O>	TermVisitorBuilder.orNull()