Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedClause

Packages that use AdornedClause

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.

Uses of AdornedClause in edu.harvard.seas.pl.abcdatalog.engine.topdown

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return AdornedClause

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.

Constructors in edu.harvard.seas.pl.abcdatalog.engine.topdown with parameters of type AdornedClause

Modifier	Constructor	Description
	QsqTemplate(AdornedClause rule)	Constructs a template from an adorned rule.