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

Packages that use AdornedAtom

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

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

Fields in edu.harvard.seas.pl.abcdatalog.engine.topdown declared as AdornedAtom

Modifier and Type	Field	Description
AdornedAtom	QsqSupRelation.nextAtom	Points to the atom that follows this supplementary relation in the rule being evaluated.

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

Modifier and Type	Method	Description
AdornedAtom	AdornedClause.getHead()

Methods in edu.harvard.seas.pl.abcdatalog.engine.topdown that return types with arguments of type AdornedAtom

Modifier and Type	Method	Description
List<AdornedAtom>	AdornedClause.getBody()

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

Modifier	Constructor	Description
	AdornedClause(AdornedAtom head, List<AdornedAtom> body)	Constructs an adorned clause given an adorned atom for the head and a list of adorned atoms for the body.

Constructor parameters in edu.harvard.seas.pl.abcdatalog.engine.topdown with type arguments of type AdornedAtom

Modifier	Constructor	Description
	AdornedClause(AdornedAtom head, List<AdornedAtom> body)	Constructs an adorned clause given an adorned atom for the head and a list of adorned atoms for the body.