Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom

Packages that use AnnotatedAtom

Package	Description
edu.harvard.seas.pl.abcdatalog.ast.visitors	This package contains classes that implement the visitor design pattern for visiting AST nodes.
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.

Uses of AnnotatedAtom in edu.harvard.seas.pl.abcdatalog.ast.visitors

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

Modifier and Type	Method	Description
O	CrashPremiseVisitor.visit(AnnotatedAtom atom, I state)
O	DefaultConjunctVisitor.visit(AnnotatedAtom atom, I state)
O	PremiseVisitor.visit(AnnotatedAtom atom, I state)

Method parameters in edu.harvard.seas.pl.abcdatalog.ast.visitors with type arguments of type AnnotatedAtom

Modifier and Type	Method	Description
PremiseVisitorBuilder<I,O>	PremiseVisitorBuilder.onAnnotatedAtom(BiFunction<AnnotatedAtom,I,O> onAnnotatedAtom)

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

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return AnnotatedAtom

Modifier and Type	Method	Description
AnnotatedAtom	SemiNaiveClauseAnnotator.SemiNaiveClause.getFirstAtom()

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

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

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

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

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