Package edu.harvard.seas.pl.abcdatalog.util

package edu.harvard.seas.pl.abcdatalog.util

This package contains basic utilities.

Related Packages

Package	Description
edu.harvard.seas.pl.abcdatalog	AbcDatalog, an implementation of Datalog that is intended to be easily extensible with new language features and new evaluation engines.
edu.harvard.seas.pl.abcdatalog.util.datastructures	This package contains data structures for storing and indexing Datalog facts.
edu.harvard.seas.pl.abcdatalog.util.graph	This package contains utility classes for graph operations.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).
edu.harvard.seas.pl.abcdatalog.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.engine	This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).
edu.harvard.seas.pl.abcdatalog.executor	This package contains classes that implement a Datalog executor, which is a Datalog engine that runs asynchronously.
edu.harvard.seas.pl.abcdatalog.gui	This package contains a graphical user interface for a Datalog editor and interpreter.
edu.harvard.seas.pl.abcdatalog.parser	This package contains classes that implement a parser for Datalog source code.

Classes

Class	Description
Box<T>
ExecutorServiceCounter	A wrapper for an executor service that tracks how many tasks are either pending or incomplete, and can be used to block until all tasks have finished.
Utilities	"Static" class containing utility methods.