Module org.maxicp

Package org.maxicp.search.blackbox

Class ModelingBlackBox

java.lang.Object

org.maxicp.search.blackbox.ModelingBlackBox

public final class ModelingBlackBox
extends Object

Convenience entry points for running BlackBoxSearch from the modeling layer.

The API exposes two workflows:

• solve(ModelDispatcher, IntExpression[], int) for feasibility problems.
• optimize(ModelDispatcher, IntExpression[], Objective, int) for optimization problems.

Both workflows accept optional configurers to tune phase options, phase time shares and verbosity. The underlying model is executed through model.runCP(...) and returns a compact ModelingBlackBox.Result.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	ModelingBlackBox.OptimizeConfig	Configuration object used by optimization solves.
static final record	ModelingBlackBox.Result	Final outcome returned by solve(org.maxicp.ModelDispatcher, org.maxicp.modeling.algebra.integer.IntExpression[], int) and optimize(org.maxicp.ModelDispatcher, org.maxicp.modeling.algebra.integer.IntExpression[], org.maxicp.modeling.symbolic.Objective, int).
static final class	ModelingBlackBox.SolveConfig	Configuration object used by feasibility solves.

Method Summary

Modifier and Type	Method	Description
static ModelingBlackBox.Result	optimize(ModelDispatcher model, IntExpression[] decisionVars, Objective objective, int timeLimitInSeconds)	Solves an optimization model with default black-box settings.
static ModelingBlackBox.Result	optimize(ModelDispatcher model, IntExpression[] decisionVars, Objective objective, int timeLimitInSeconds, UnaryOperator<ModelingBlackBox.OptimizeConfig> configurer)	Solves an optimization model with caller-provided configuration.
static ModelingBlackBox.Result	solve(ModelDispatcher model, IntExpression[] decisionVars, int timeLimitInSeconds)	Solves a feasibility model with default black-box settings.
static ModelingBlackBox.Result	solve(ModelDispatcher model, IntExpression[] decisionVars, int timeLimitInSeconds, UnaryOperator<ModelingBlackBox.SolveConfig> configurer)	Solves a feasibility model with caller-provided configuration.

Methods inherited from class java.lang.Object

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

Method Details

solve

public static ModelingBlackBox.Result solve(ModelDispatcher model,
 IntExpression[] decisionVars,
 int timeLimitInSeconds)

Solves a feasibility model with default black-box settings.

solve

public static ModelingBlackBox.Result solve(ModelDispatcher model,
 IntExpression[] decisionVars,
 int timeLimitInSeconds,
 UnaryOperator<ModelingBlackBox.SolveConfig> configurer)

Solves a feasibility model with caller-provided configuration.

optimize

public static ModelingBlackBox.Result optimize(ModelDispatcher model,
 IntExpression[] decisionVars,
 Objective objective,
 int timeLimitInSeconds)

Solves an optimization model with default black-box settings.

optimize

public static ModelingBlackBox.Result optimize(ModelDispatcher model,
 IntExpression[] decisionVars,
 Objective objective,
 int timeLimitInSeconds,
 UnaryOperator<ModelingBlackBox.OptimizeConfig> configurer)

Solves an optimization model with caller-provided configuration.