Package ch.so.agi.mcp.constraint

Class ConstraintCoveragePlanner

java.lang.Object

ch.so.agi.mcp.constraint.ConstraintCoveragePlanner

public final class ConstraintCoveragePlanner
extends Object

Derives model-aware semantic coverage probes and solves them through ConstraintGoalSolver.

The planner is independent of IR frontends. In addition to scalar boundaries and domain categories it derives direct logical branch patterns, selected standard-function edge cases and aggregate presence/cardinality probes. Proven unreachable structural goals are reported separately; search exhaustion and required constraint outcomes remain proof-blocking gaps.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConstraintCoveragePlanner.CoverageCase
static final record	ConstraintCoveragePlanner.CoveragePlan
static final record	ConstraintCoveragePlanner.GoalExclusion

Method Summary

Modifier and Type	Method	Description
static Map<String,Object>	describeGoal(ConstraintExpressionEngine.TestGoal goal, ConstraintExpression.IliVersion version)
static List<Map<String,Object>>	excludedGoals(ConstraintCoveragePlanner.CoveragePlan plan, ConstraintExpression.IliVersion version)
static ConstraintCoveragePlanner.CoveragePlan	solve(ConstraintExpression expression, ConstraintModelSynthesizer.ModelBinding binding)
static int	solvedGoalCount(ConstraintCoveragePlanner.CoveragePlan plan)

Methods inherited from class java.lang.Object

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

Method Details

solvedGoalCount

public static int solvedGoalCount(ConstraintCoveragePlanner.CoveragePlan plan)

excludedGoals

public static List<Map<String,Object>> excludedGoals(ConstraintCoveragePlanner.CoveragePlan plan,
 ConstraintExpression.IliVersion version)

describeGoal

public static Map<String,Object> describeGoal(ConstraintExpressionEngine.TestGoal goal,
 ConstraintExpression.IliVersion version)

solve

public static ConstraintCoveragePlanner.CoveragePlan solve(ConstraintExpression expression,
 ConstraintModelSynthesizer.ModelBinding binding)