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

Class BottomUpEngineFrameWithProvenance

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame<EvalManagerWithProvenance>

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

All Implemented Interfaces:

DatalogEngine, DatalogEngineWithProvenance

Direct Known Subclasses:

SemiNaiveEngine

public class BottomUpEngineFrameWithProvenance
extends BottomUpEngineFrame<EvalManagerWithProvenance>
implements DatalogEngineWithProvenance

Field Summary

Fields inherited from class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame

manager

Constructor Summary

Constructors

Constructor	Description
BottomUpEngineFrameWithProvenance(EvalManagerWithProvenance manager)

Method Summary

Modifier and Type	Method	Description
Clause	getJustification(PositiveAtom fact)	Return the last rule used in the justification of the given atom.

Methods inherited from class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame

init, query

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine

init, query, query

Constructor Details

BottomUpEngineFrameWithProvenance

public BottomUpEngineFrameWithProvenance(EvalManagerWithProvenance manager)

Method Details

getJustification

public Clause getJustification(PositiveAtom fact)

Description copied from interface: DatalogEngineWithProvenance

Return the last rule used in the justification of the given atom. The returned rule should be ground (variable-free). Return null if the given atom is not a fact or was not derived.

A client can recursively invoke this method on the premises of the returned clause to build a provenance tree.

Specified by:

getJustification in interface DatalogEngineWithProvenance

Parameters:

fact - the fact

Returns:

the last rule used to justify that fact