Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator

Packages that use DatalogValidator

Package	Description
edu.harvard.seas.pl.abcdatalog.ast.validation	This package contains classes to check that a clause or a set of clauses (such as those parsed from user input) are valid (i.e., can be successfully evaluated).

Uses of DatalogValidator in edu.harvard.seas.pl.abcdatalog.ast.validation

Methods in edu.harvard.seas.pl.abcdatalog.ast.validation that return DatalogValidator

Modifier and Type	Method	Description
DatalogValidator	DatalogValidator.withAtomNegationInRuleBody()
DatalogValidator	DatalogValidator.withBinaryDisunificationInRuleBody()
DatalogValidator	DatalogValidator.withBinaryUnificationInRuleBody()