Package tools.refinery.interpreter.rete.construction.plancompiler

Class RecursionCutoffPoint

java.lang.Object

tools.refinery.interpreter.rete.construction.plancompiler.RecursionCutoffPoint

public class RecursionCutoffPoint
extends Object

In a recursive query structure, query composition references can be cut off so that the remaining structure is DAG. RecursionCutoffPoint represents one such cut off query composition. When the compilation of the recursive query finishes and the compiled form becomes available, the RecursionCutoffPoint has to be signaled to update parent traces and recipes of the recursive call.

Constructor Summary

Constructors

Constructor	Description
RecursionCutoffPoint(PQuery query, QueryEvaluationHint hint, IQueryMetaContext context, boolean deleteAndRederiveEvaluation, TimelyConfiguration timelyEvaluation)

Method Summary

Modifier and Type	Method	Description
CompiledQuery	getCompiledQuery()
ProductionRecipe	getRecipe()
void	mend(CompiledQuery finalCompiledForm)	Signals that compilation of the recursive query has terminated, culminating into the given compiled form.

Methods inherited from class java.lang.Object

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

Constructor Details

RecursionCutoffPoint

public RecursionCutoffPoint(PQuery query,
 QueryEvaluationHint hint,
 IQueryMetaContext context,
 boolean deleteAndRederiveEvaluation,
 TimelyConfiguration timelyEvaluation)

Method Details

mend

public void mend(CompiledQuery finalCompiledForm)

Signals that compilation of the recursive query has terminated, culminating into the given compiled form. The query composition that has been cut off will be connected now.

getCompiledQuery

public CompiledQuery getCompiledQuery()

getRecipe

public ProductionRecipe getRecipe()