Package ch.so.agi.mcp.constraint

Class ConstraintGoalReachability

java.lang.Object

ch.so.agi.mcp.constraint.ConstraintGoalReachability

public final class ConstraintGoalReachability
extends Object

Exhaustive predicate partitions over a conservative superset of model-valid scalar values. This is independent of the solver's sampled candidates and of fixture materialization.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConstraintGoalReachability.Result
static enum	ConstraintGoalReachability.Status

Method Summary

Modifier and Type	Method	Description
static ConstraintGoalReachability.Result	analyze(ConstraintExpressionEngine.TestGoal goal, ConstraintModelSynthesizer.ModelBinding binding)

Methods inherited from class java.lang.Object

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

Method Details

analyze

public static ConstraintGoalReachability.Result analyze(ConstraintExpressionEngine.TestGoal goal,
 ConstraintModelSynthesizer.ModelBinding binding)