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

Packages that use HeadVisitor

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 HeadVisitor in edu.harvard.seas.pl.abcdatalog.ast

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

Modifier and Type	Method	Description
<I, O> O	Head.accept(HeadVisitor<I,O> visitor, I state)
<I, O> O	PositiveAtom.accept(HeadVisitor<I,O> visitor, I state)

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

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

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

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

Modifier and Type	Method	Description
HeadVisitor<I,O>	HeadVisitorBuilder.or(BiFunction<Head,I,O> f)
HeadVisitor<I,O>	HeadVisitorBuilder.orCrash()
HeadVisitor<I,O>	HeadVisitorBuilder.orNull()