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

Class ConcurrentStratifiedNegationBottomUpEngine

java.lang.Object

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

edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentStratifiedNegationBottomUpEngine

All Implemented Interfaces:

DatalogEngine

public class ConcurrentStratifiedNegationBottomUpEngine
extends BottomUpEngineFrame<EvalManager>

This class implements an experimental multi-threaded Datalog evaluation algorithm that supports explicit unification and stratified negation.

Field Summary

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

manager

Constructor Summary

Constructors

Constructor	Description
ConcurrentStratifiedNegationBottomUpEngine()

Method Summary

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

query

Constructor Details

ConcurrentStratifiedNegationBottomUpEngine

public ConcurrentStratifiedNegationBottomUpEngine()