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

Packages that use AdornedPredicateSym

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

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

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

Modifier and Type	Method	Description
AdornedPredicateSym	AdornedAtom.getPred()

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

Modifier	Constructor	Description
	AdornedAtom(AdornedPredicateSym pred, Term[] args)	Constructs an adorned atom with the given predicate symbol and arguments.