Uses of Interface
edu.harvard.seas.pl.abcdatalog.util.substitution.ConstOnlySubstitution

Packages that use ConstOnlySubstitution

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.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).

Uses of ConstOnlySubstitution in edu.harvard.seas.pl.abcdatalog.ast

Methods in edu.harvard.seas.pl.abcdatalog.ast with parameters of type ConstOnlySubstitution

Modifier and Type	Method	Description
static boolean	TermHelpers.unify(Term u, Term v, ConstOnlySubstitution s)

Uses of ConstOnlySubstitution in edu.harvard.seas.pl.abcdatalog.engine

Methods in edu.harvard.seas.pl.abcdatalog.engine that return types with arguments of type ConstOnlySubstitution

Modifier and Type	Method	Description
static Set<ConstOnlySubstitution>	ConjunctiveQueryHelper.query(DatalogEngine engine, List<PositiveAtom> query)
default Set<ConstOnlySubstitution>	DatalogEngine.query(List<PositiveAtom> query)	Returns the set of all (minimal) substitutions that 1) ground the given conjunctive query, and 2) make it true with respect to the Datalog program backing this engine.

Uses of ConstOnlySubstitution in edu.harvard.seas.pl.abcdatalog.util.datastructures

Methods in edu.harvard.seas.pl.abcdatalog.util.datastructures with parameters of type ConstOnlySubstitution

Modifier and Type	Method	Description
boolean	ConcurrentFactTrie.add(PositiveAtom a, ConstOnlySubstitution s)	Adds an atom a to this trie.
T	ConcurrentFactIndexer.indexInto(PositiveAtom a, ConstOnlySubstitution s)
Iterable<PositiveAtom>	IndexableFactCollection.indexInto(PositiveAtom atom, ConstOnlySubstitution subst)	Returns the atoms in the collection that potentially "match" the provided atom, after the given substitution has been applied.

Uses of ConstOnlySubstitution in edu.harvard.seas.pl.abcdatalog.util.substitution

Classes in edu.harvard.seas.pl.abcdatalog.util.substitution that implement ConstOnlySubstitution

Modifier and Type	Class	Description
class	ClauseSubstitution	This is a substitution tailor-made for a particular clause.
class	SimpleConstSubstitution	A mapping from variables to constants.