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

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

This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Related Packages

Package	Description
edu.harvard.seas.pl.abcdatalog.util	This package contains basic utilities.
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.

Class	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.
SubstitutionUtils
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.