Class CompiledSubPlan

java.lang.Object

tools.refinery.interpreter.rete.traceability.RecipeTraceInfo

tools.refinery.interpreter.rete.traceability.PlanningTrace

tools.refinery.interpreter.rete.traceability.CompiledSubPlan

All Implemented Interfaces:

PatternTraceInfo, TraceInfo

public class CompiledSubPlan
extends PlanningTrace

A trace marker associating a Rete recipe with a query SubPlan.

The Rete node represented by the recipe is equivalent to the SubPlan.

Invariant: each variable has at most one index associated with it in the tuple, i.e. no duplicates.

Field Summary

Fields inherited from class PlanningTrace

posMapping, subPlan, variablesTuple

Constructor Summary

Constructors

Constructor	Description
CompiledSubPlan(SubPlan subPlan, List<PVariable> variablesTuple, ReteNodeRecipe recipe, Collection<? extends RecipeTraceInfo> parentRecipeTraces)
CompiledSubPlan(SubPlan subPlan, List<PVariable> variablesTuple, ReteNodeRecipe recipe, RecipeTraceInfo... parentRecipeTraces)

Method Summary

Methods inherited from class PlanningTrace

cloneFor, getPatternName, getPosMapping, getSubPlan, getVariablesTuple

Methods inherited from class RecipeTraceInfo

assignNode, getNode, getParentRecipeTraces, getParentRecipeTracesForCloning, getRecipe, getShadowedRecipe, propagateFromIndexerToSupplierParent, propagateFromStandardNodeToSupplierParent, propagateToIndexerParent, propagateToProductionNodeParentAlso, shadowWithEquivalentRecipe

Methods inherited from class Object

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

Methods inherited from interface TraceInfo

assignNode, getNode, propagateFromIndexerToSupplierParent, propagateFromStandardNodeToSupplierParent, propagateToIndexerParent, propagateToProductionNodeParentAlso

Constructor Details

CompiledSubPlan

public CompiledSubPlan(SubPlan subPlan,
 List<PVariable> variablesTuple,
 ReteNodeRecipe recipe,
 Collection<? extends RecipeTraceInfo> parentRecipeTraces)

CompiledSubPlan

public CompiledSubPlan(SubPlan subPlan,
 List<PVariable> variablesTuple,
 ReteNodeRecipe recipe,
 RecipeTraceInfo... parentRecipeTraces)