Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier

Packages that use BinaryUnifier

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

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

Modifier and Type	Method	Description
O	CrashPremiseVisitor.visit(BinaryUnifier u, I state)
O	DefaultConjunctVisitor.visit(BinaryUnifier u, I state)
O	PremiseVisitor.visit(BinaryUnifier u, I state)

Method parameters in edu.harvard.seas.pl.abcdatalog.ast.visitors with type arguments of type BinaryUnifier

Modifier and Type	Method	Description
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onBinaryUnifier(BiFunction<BinaryUnifier,I,O> onBinaryUnifier)