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

Packages that use BinaryDisunifier

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

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

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

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

Modifier and Type	Method	Description
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onBinaryDisunifier(BiFunction<BinaryDisunifier,I,O> onBinaryDisunifier)