Uses of Package
edu.harvard.seas.pl.abcdatalog.engine.bottomup
Packages that use edu.harvard.seas.pl.abcdatalog.engine.bottomup
Package
Description
This package contains classes that implement the visitor design pattern for visiting AST nodes.
This package contains classes and interfaces that are used in all of the bottom-up engines.
This package contains multi-threaded bottom-up Datalog evaluation engines.
This package contains single-threaded bottom-up Datalog evaluation engines.
This package contains classes that represents substitutions (i.e., mappings from variables to
terms).
-
-
Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup used by edu.harvard.seas.pl.abcdatalog.engine.bottomupClassDescriptionAn annotated atom.A framework for a bottom-up Datalog engine.The saturating evaluation manager for a bottom-up Datalog evaluation engine.
-
Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup used by edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrentClassDescriptionAn annotated atom.A framework for a bottom-up Datalog engine.This class provides a way to derive all the new facts that are derivable from a given rule, given an initial fact that unifies with the first atom in the body of the clause.The saturating evaluation manager for a bottom-up Datalog evaluation engine.
-
Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup used by edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequentialClassDescriptionA framework for a bottom-up Datalog engine.The saturating evaluation manager for a bottom-up Datalog evaluation engine.
-