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

Packages that use DatalogValidator.ValidClause

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).
edu.harvard.seas.pl.abcdatalog.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.

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

Methods in edu.harvard.seas.pl.abcdatalog.ast.validation that return types with arguments of type DatalogValidator.ValidClause

Modifier and Type	Method	Description
Set<DatalogValidator.ValidClause>	UnstratifiedProgram.getRules()

Uses of DatalogValidator.ValidClause in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type DatalogValidator.ValidClause

Modifier and Type	Method	Description
Set<SemiNaiveClauseAnnotator.SemiNaiveClause>	SemiNaiveClauseAnnotator.annotate(DatalogValidator.ValidClause original)	Returns a set of annotated clauses for a given unannotated clause.

Method parameters in edu.harvard.seas.pl.abcdatalog.engine.bottomup with type arguments of type DatalogValidator.ValidClause

Modifier and Type	Method	Description
Set<SemiNaiveClauseAnnotator.SemiNaiveClause>	SemiNaiveClauseAnnotator.annotate(Set<DatalogValidator.ValidClause> clauses)

Uses of DatalogValidator.ValidClause in edu.harvard.seas.pl.abcdatalog.engine.topdown

Fields in edu.harvard.seas.pl.abcdatalog.engine.topdown with type parameters of type DatalogValidator.ValidClause

Modifier and Type	Field	Description
protected final Map<PredicateSym,Set<DatalogValidator.ValidClause>>	AbstractQsqEngine.idbRules	Rules for deriving IDB facts mapped by predicate symbol.

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type DatalogValidator.ValidClause

Modifier and Type	Method	Description
static AdornedClause	AdornedClause.fromClause(List<Boolean> headAdornment, DatalogValidator.ValidClause clause)	Constructs an adorned clause given an adornment to apply to the head and clause to adorn.