Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.visitors.PremiseVisitorBuilder

Packages that use PremiseVisitorBuilder

Package	Description
edu.harvard.seas.pl.abcdatalog.ast.visitors	This package contains classes that implement the visitor design pattern for visiting AST nodes.

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

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

Modifier and Type	Method	Description
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onAnnotatedAtom(BiFunction<AnnotatedAtom,I,O> onAnnotatedAtom)
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onBinaryDisunifier(BiFunction<BinaryDisunifier,I,O> onBinaryDisunifier)
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onBinaryUnifier(BiFunction<BinaryUnifier,I,O> onBinaryUnifier)
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onNegatedAtom(BiFunction<NegatedAtom,I,O> onNegatedAtom)
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onPositiveAtom(BiFunction<PositiveAtom,I,O> onPositiveAtom)