Package edu.harvard.seas.pl.abcdatalog.engine.bottomup

Class SemiNaiveClauseAnnotator

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator

public class SemiNaiveClauseAnnotator
extends Object

A class for annotating a clause with annotations helpful for semi-naive evaluation.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	SemiNaiveClauseAnnotator.SemiNaiveClause

Constructor Summary

Constructors

Constructor	Description
SemiNaiveClauseAnnotator(Set<PredicateSym> idbPreds)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SemiNaiveClauseAnnotator

public SemiNaiveClauseAnnotator(Set<PredicateSym> idbPreds)

Method Details

annotate

public Set<SemiNaiveClauseAnnotator.SemiNaiveClause> annotate(DatalogValidator.ValidClause original)

Returns a set of annotated clauses for a given unannotated clause. If the given clause only contains atoms with EDB predicate symbols, the resulting set will be a singleton. Otherwise, the cardinality of the return set will be equal to the number of atoms in the body of the clause that have IDB predicate symbols. Each returned clause is ordered so that it can be evaluated from left to right.

Parameters:

original - the unannotated clause

Returns:

a set of annotated clauses

annotate

public Set<SemiNaiveClauseAnnotator.SemiNaiveClause> annotate(Set<DatalogValidator.ValidClause> clauses)