Class QueryEvaluatorWithMultiEvaluator
java.lang.Object
fr.inria.rules.integraal.component_builder.evaluators.generic.MultiEvaluator<QueryEvaluationInput, QueryEvaluationOutput>
fr.inria.rules.integraal.component_builder.evaluators.query_evaluation.QueryEvaluatorWithMultiEvaluator
public class QueryEvaluatorWithMultiEvaluator
extends MultiEvaluator<QueryEvaluationInput, QueryEvaluationOutput>
A class that wraps around an FOQueryEvaluator to provide both batch and lazy
evaluation for a collection of FOQuery objects.
-
Field Summary
Fields inherited from class MultiEvaluator
LOG -
Constructor Summary
ConstructorsConstructorDescriptionQueryEvaluatorWithMultiEvaluator(Collection<Query> queries, FactBase factBase, QueryEvaluator<Query, FactBase> queryEvaluator, boolean constantsOnly, ExternalAlgorithmHaltingConditions externalHaltingConditions) Constructs a QueryEvaluator with the given collection of queries and fact base. -
Method Summary
Methods inherited from class MultiEvaluator
batchEvaluate, lazyEvaluate
-
Constructor Details
-
QueryEvaluatorWithMultiEvaluator
public QueryEvaluatorWithMultiEvaluator(Collection<Query> queries, FactBase factBase, QueryEvaluator<Query, FactBase> queryEvaluator, boolean constantsOnly, ExternalAlgorithmHaltingConditions externalHaltingConditions) Constructs a QueryEvaluator with the given collection of queries and fact base.- Parameters:
queries- The collection of FOQuery objects to be evaluated.factBase- The FactBase against which the queries are evaluated.queryEvaluator- The concrete evaluator to useconstantsOnly- true iff variables must only map to constantsexternalHaltingConditions- external halting conditions to observe
-