Class QueryRewriterWitMultiEvaluator

java.lang.Object

fr.inria.rules.integraal.component_builder.evaluators.generic.MultiEvaluator<RewritingInput, RewritingOutput>

fr.inria.rules.integraal.component_builder.evaluators.query_rewriting.QueryRewriterWitMultiEvaluator

public class QueryRewriterWitMultiEvaluator
extends MultiEvaluator<RewritingInput, RewritingOutput>

A class for rewriting a collection of FOQuery objects.

Field Summary

Fields inherited from class MultiEvaluator

LOG

Constructor Summary

Constructors

Constructor	Description
QueryRewriterWitMultiEvaluator(Collection<Query> queries, RuleBase ruleBase, RuleCompilation compilation, ExternalAlgorithmHaltingConditions externalHaltingConditions)	Constructs a QueryRewriter with the given collection of queries, rules, and compilation. base. assumptions : if a compilation different from NoRuleCompilation is used, than the ruleset should contain only non-compilable rules.

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

QueryRewriterWitMultiEvaluator

public QueryRewriterWitMultiEvaluator(Collection<Query> queries,
 RuleBase ruleBase,
 RuleCompilation compilation,
 ExternalAlgorithmHaltingConditions externalHaltingConditions)

Constructs a QueryRewriter with the given collection of queries, rules, and compilation. base. assumptions : if a compilation different from NoRuleCompilation is used, than the ruleset should contain only non-compilable rules.

Parameters:

queries - The collection of FOQuery objects to rewrite.

ruleBase - The RuleBase containing rules for rewriting.

compilation - The RuleCompilation configuration for rewriting.

externalHaltingConditions - halting constraints applied during rewriting