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

Packages that use NegatedAtom

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

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

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

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

Modifier and Type	Method	Description
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onNegatedAtom(BiFunction<NegatedAtom,I,O> onNegatedAtom)