Class CountingQueryEvaluatorWithMultiEvaluator

java.lang.Object

fr.inria.rules.integraal.component_builder.evaluators.generic.MultiEvaluator<QueryEvaluationInput, QueryEvaluationOutput>

fr.inria.rules.integraal.component_builder.evaluators.query_evaluation.CountingQueryEvaluatorWithMultiEvaluator

public class CountingQueryEvaluatorWithMultiEvaluator
extends MultiEvaluator<QueryEvaluationInput, QueryEvaluationOutput>

A class that wraps around an FOQueryEvaluator to provide both batch and lazy evaluation for a collection of FOQuery objects for which it only counts the number of answers.

Author:

Florent Tornil

Field Summary

Fields inherited from class MultiEvaluator

LOG

Constructor Summary

Constructors

Constructor	Description
CountingQueryEvaluatorWithMultiEvaluator(Collection<Query> queries, FactBase factBase, QueryEvaluator<Query, QueryableData> queryEvaluator, boolean constantsOnly, ExternalAlgorithmHaltingConditions externalHaltingConditions)	Creates a counting query evaluator backed by multiple evaluation strategies.

Method Summary

Methods inherited from class MultiEvaluator

batchEvaluate, lazyEvaluate

Methods inherited from class Object

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

Constructor Details

CountingQueryEvaluatorWithMultiEvaluator

public CountingQueryEvaluatorWithMultiEvaluator(Collection<Query> queries,
 FactBase factBase,
 QueryEvaluator<Query, QueryableData> queryEvaluator,
 boolean constantsOnly,
 ExternalAlgorithmHaltingConditions externalHaltingConditions)

Creates a counting query evaluator backed by multiple evaluation strategies.

Parameters:

queries - The collection of FOQuery objects to be evaluated.

factBase - The FactBase against which the queries are evaluated.

queryEvaluator - The concrete evaluator to use

constantsOnly - true iff variables must only map to constants

externalHaltingConditions - halting constraints applied during evaluation