Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator.SemiNaiveClause

Packages that use SemiNaiveClauseAnnotator.SemiNaiveClause

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.sequential	This package contains single-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 SemiNaiveClauseAnnotator.SemiNaiveClause in edu.harvard.seas.pl.abcdatalog.engine.bottomup

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

Modifier and Type	Method	Description
Set<SemiNaiveClauseAnnotator.SemiNaiveClause>	SemiNaiveClauseAnnotator.annotate(DatalogValidator.ValidClause original)	Returns a set of annotated clauses for a given unannotated clause.
Set<SemiNaiveClauseAnnotator.SemiNaiveClause>	SemiNaiveClauseAnnotator.annotate(Set<DatalogValidator.ValidClause> clauses)

Constructors in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type SemiNaiveClauseAnnotator.SemiNaiveClause

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

Uses of SemiNaiveClauseAnnotator.SemiNaiveClause in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential with parameters of type SemiNaiveClauseAnnotator.SemiNaiveClause

Modifier and Type	Method	Description
static Clause	SemiNaiveEvalManager.stripSemiNaiveClause(SemiNaiveClauseAnnotator.SemiNaiveClause cl)

Uses of SemiNaiveClauseAnnotator.SemiNaiveClause in edu.harvard.seas.pl.abcdatalog.util.substitution

Constructors in edu.harvard.seas.pl.abcdatalog.util.substitution with parameters of type SemiNaiveClauseAnnotator.SemiNaiveClause

Modifier	Constructor	Description
	ClauseSubstitution(SemiNaiveClauseAnnotator.SemiNaiveClause c)