org.eclipse.viatra.query.runtime.matchers.planning.helpers

Class BuildHelper

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.planning.helpers.BuildHelper

public class BuildHelper
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BuildHelper()

Method Summary

Modifier and Type	Method and Description
static boolean	areAllVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, IQueryMetaContext metaContext) Deprecated. use areAllVariablesDetermined(SubPlan, Collection, QueryAnalyzer, boolean)
static boolean	areAllVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, QueryAnalyzer analyzer, boolean strict)
static boolean	areVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, java.util.Collection<PVariable> determined, IQueryMetaContext metaContext) Deprecated. use areVariablesDetermined(SubPlan, Collection, Collection, QueryAnalyzer, boolean)
static boolean	areVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, java.util.Collection<PVariable> determined, QueryAnalyzer analyzer, boolean strict)
static void	finalCheck(PBody pSystem, SubPlan plan, IQueryMetaContext context) Verifies whether all constraints are enforced and exported parameters are present.
static PConstraint	getAnyUnenforcedConstraint(PBody pSystem, SubPlan plan) Finds an arbitrary constraint that is not enforced at the given plan.
static SubPlan	trimUnneccessaryVariables(SubPlanFactory planFactory, SubPlan plan, boolean onlyIfNotDetermined, IQueryMetaContext metaContext) Deprecated. use trimUnneccessaryVariables(SubPlanFactory, SubPlan, boolean, QueryAnalyzer)
static SubPlan	trimUnneccessaryVariables(SubPlanFactory planFactory, SubPlan plan, boolean onlyIfNotDetermined, QueryAnalyzer analyzer) Reduces the number of tuples by trimming (existentially quantifying) the set of variables that are visible in the subplan, are not exported parameters, have all their constraints already enforced in the subplan, and thus will not be needed anymore.

Methods inherited from class java.lang.Object

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

Constructor Detail

BuildHelper

public BuildHelper()

Method Detail

trimUnneccessaryVariables

public static SubPlan trimUnneccessaryVariables(SubPlanFactory planFactory,
                                                SubPlan plan,
                                                boolean onlyIfNotDetermined,
                                                QueryAnalyzer analyzer)

Reduces the number of tuples by trimming (existentially quantifying) the set of variables that

• are visible in the subplan,
• are not exported parameters,
• have all their constraints already enforced in the subplan,

and thus will not be needed anymore.

Parameters:

onlyIfNotDetermined - if true, no trimming performed unless there is at least one variable that is not functionally determined

Returns:

the plan after the trimming (possibly the original)

Since:

1.5

trimUnneccessaryVariables

@Deprecated
public static SubPlan trimUnneccessaryVariables(SubPlanFactory planFactory,
                                                            SubPlan plan,
                                                            boolean onlyIfNotDetermined,
                                                            IQueryMetaContext metaContext)

Deprecated. use trimUnneccessaryVariables(SubPlanFactory, SubPlan, boolean, QueryAnalyzer)

areAllVariablesDetermined

public static boolean areAllVariablesDetermined(SubPlan plan,
                                                java.util.Collection<PVariable> determining,
                                                QueryAnalyzer analyzer,
                                                boolean strict)

Parameters:

strict - if true, only "hard" dependencies are taken into account that are strictly enforced by the model representation; if false, user-provided soft dependencies are included as well, that are anticipated but not guaranteed by the storage mechanism; use true if superfluous dependencies may taint the correctness of a computation, false if they would merely impact performance

Returns:

true iff a set of given variables functionally determine all visible variables in the subplan according to the subplan's constraints

Since:

1.5

areAllVariablesDetermined

@Deprecated
public static boolean areAllVariablesDetermined(SubPlan plan,
                                                            java.util.Collection<PVariable> determining,
                                                            IQueryMetaContext metaContext)

Deprecated. use areAllVariablesDetermined(SubPlan, Collection, QueryAnalyzer, boolean)

areVariablesDetermined

public static boolean areVariablesDetermined(SubPlan plan,
                                             java.util.Collection<PVariable> determining,
                                             java.util.Collection<PVariable> determined,
                                             QueryAnalyzer analyzer,
                                             boolean strict)

Parameters:

strict - if true, only "hard" dependencies are taken into account that are strictly enforced by the model representation; if false, user-provided soft dependencies are included as well, that are anticipated but not guaranteed by the storage mechanism; use true if superfluous dependencies may taint the correctness of a computation, false if they would merely impact performance

Returns:

true iff one set of given variables functionally determine the other set according to the subplan's constraints

Since:

1.5

areVariablesDetermined

@Deprecated
public static boolean areVariablesDetermined(SubPlan plan,
                                                         java.util.Collection<PVariable> determining,
                                                         java.util.Collection<PVariable> determined,
                                                         IQueryMetaContext metaContext)

Deprecated. use areVariablesDetermined(SubPlan, Collection, Collection, QueryAnalyzer, boolean)

getAnyUnenforcedConstraint

public static PConstraint getAnyUnenforcedConstraint(PBody pSystem,
                                                     SubPlan plan)

Finds an arbitrary constraint that is not enforced at the given plan.

Parameters:

pSystem -

plan -

Returns:

a PConstraint that is not enforced, if any, or null if all are enforced

finalCheck

public static void finalCheck(PBody pSystem,
                              SubPlan plan,
                              IQueryMetaContext context)
                       throws QueryProcessingException

Verifies whether all constraints are enforced and exported parameters are present.

Parameters:

pSystem -

plan -

Throws:

QueryProcessingException