Uses of Package
edu.harvard.seas.pl.abcdatalog.util.substitution

Packages that use edu.harvard.seas.pl.abcdatalog.util.substitution

Package	Description
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.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent	This package contains multi-threaded bottom-up Datalog 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.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution used by edu.harvard.seas.pl.abcdatalog.ast

Class and Description
ConstOnlySubstitution A mapping from variables to constants.
Substitution A mapping from variables to terms.
TermUnifier A substitution that allows a variable to be mapped to (i.e., unified with) multiple terms, as long as no two of those terms are constants.

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution used by edu.harvard.seas.pl.abcdatalog.engine

Class and Description
ConstOnlySubstitution A mapping from variables to constants.

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution used by edu.harvard.seas.pl.abcdatalog.engine.bottomup

Class and Description
ClauseSubstitution This is a substitution tailor-made for a particular clause.
Substitution A mapping from variables to terms.

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution used by edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Class and Description
ClauseSubstitution This is a substitution tailor-made for a particular clause.

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution used by edu.harvard.seas.pl.abcdatalog.util.datastructures

Class and Description
ConstOnlySubstitution A mapping from variables to constants.

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution used by edu.harvard.seas.pl.abcdatalog.util.substitution

Class and Description
ClauseSubstitution This is a substitution tailor-made for a particular clause.
ConstOnlySubstitution A mapping from variables to constants.
SimpleConstSubstitution A mapping from variables to constants.
Substitution A mapping from variables to terms.
TermUnifier A substitution that allows a variable to be mapped to (i.e., unified with) multiple terms, as long as no two of those terms are constants.
UnionFindBasedUnifier A mapping from variables to terms.