Package edu.harvard.seas.pl.abcdatalog.ast.visitors

package edu.harvard.seas.pl.abcdatalog.ast.visitors

This package contains classes that implement the visitor design pattern for visiting AST nodes.

Related Packages

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.validation	This package contains classes to check that a clause or a set of clauses (such as those parsed from user input) are valid (i.e., can be successfully evaluated).

Class	Description
CrashHeadVisitor<I,O>
CrashPremiseVisitor<I,O>
DefaultConjunctVisitor<I,O>
DefaultTermVisitor<I,O>
HeadVisitor<I,O>
HeadVisitorBuilder<I,O>
PremiseVisitor<I,O>
PremiseVisitorBuilder<I,O>
TermVisitor<I,O>
TermVisitorBuilder<I,O>