Uses of Interface
edu.harvard.seas.pl.abcdatalog.executor.DatalogListener
Package
Description
This package contains multi-threaded bottom-up Datalog evaluation engines.
This package contains classes that implement a Datalog executor, which is a Datalog engine that
runs asynchronously.
-
Uses of DatalogListener in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
Modifier and TypeMethodDescriptionvoid
ExtensibleBottomUpEvalManager.addListener
(PredicateSym p, DatalogListener listener) Registers a listener with this manager. -
Uses of DatalogListener in edu.harvard.seas.pl.abcdatalog.executor
Modifier and TypeMethodDescriptionvoid
DatalogExecutor.registerListener
(PredicateSym p, DatalogListener listener) Associates a listener with a given predicate symbol, so that if any fact is derived during evaluation with that predicate symbol, the listener will be invoked with that fact.void
DatalogParallelExecutor.registerListener
(PredicateSym p, DatalogListener listener)