Uses of Class
edu.harvard.seas.pl.abcdatalog.util.substitution.ClauseSubstitution

Packages that use ClauseSubstitution

Package	Description
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.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Uses of ClauseSubstitution in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Constructor parameters in edu.harvard.seas.pl.abcdatalog.engine.bottomup with type arguments of type ClauseSubstitution

Modifier	Constructor	Description
	ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause cl, BiConsumer<PositiveAtom,ClauseSubstitution> newFact, BiFunction<AnnotatedAtom,ClauseSubstitution,Iterable<PositiveAtom>> getFacts)
	ClauseEvaluator(SemiNaiveClauseAnnotator.SemiNaiveClause cl, BiConsumer<PositiveAtom,ClauseSubstitution> newFact, BiFunction<AnnotatedAtom,ClauseSubstitution,Iterable<PositiveAtom>> getFacts)

Uses of ClauseSubstitution in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent with parameters of type ClauseSubstitution

Modifier and Type	Method	Description
protected Iterable<PositiveAtom>	BottomUpEvalManager.getFacts(AnnotatedAtom atom, ClauseSubstitution s)
protected void	BottomUpEvalManager.newFact(PositiveAtom atom, ClauseSubstitution s)

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

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution that return ClauseSubstitution

Modifier and Type	Method	Description
ClauseSubstitution	ClauseSubstitution.getCleanCopy()