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

Packages that use PremiseVisitor

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.
edu.harvard.seas.pl.abcdatalog.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.

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

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

Modifier and Type	Method	Description
<I, O> O	BinaryDisunifier.accept(PremiseVisitor<I,O> visitor, I state)
<I, O> O	BinaryUnifier.accept(PremiseVisitor<I,O> visitor, I state)
<I, O> O	NegatedAtom.accept(PremiseVisitor<I,O> visitor, I state)
<I, O> O	PositiveAtom.accept(PremiseVisitor<I,O> visitor, I state)
<I, O> O	Premise.accept(PremiseVisitor<I,O> visitor, I state)

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

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

Modifier and Type	Class	Description
class	CrashPremiseVisitor<I,O>
class	DefaultConjunctVisitor<I,O>

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

Modifier and Type	Method	Description
PremiseVisitor<I,O>	PremiseVisitorBuilder.or(BiFunction<Premise,I,O> f)
PremiseVisitor<I,O>	PremiseVisitorBuilder.orCrash()
PremiseVisitor<I,O>	PremiseVisitorBuilder.orNull()

Uses of PremiseVisitor in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type PremiseVisitor

Modifier and Type	Method	Description
<I, O> O	AnnotatedAtom.accept(PremiseVisitor<I,O> visitor, I state)