Uses of Class
org.maxicp.ModelDispatcher

Packages that use ModelDispatcher

Package	Description
org.maxicp.cp.examples.modeling	Examples of models using the symbolic modeling API
org.maxicp.modeling	Symbolic Modeling API
org.maxicp.modeling.xcsp3	Implementation of XCSP3 API using MaxiCP
org.maxicp.search.blackbox

Uses of ModelDispatcher in org.maxicp.cp.examples.modeling

Method parameters in org.maxicp.cp.examples.modeling with type arguments of type ModelDispatcher

Modifier and Type	Method	Description
static SearchStatistics	QAP.run(BiFunction<ModelDispatcher,IntExpression[],SearchMethod> search)

Uses of ModelDispatcher in org.maxicp.modeling

Methods in org.maxicp.modeling that return ModelDispatcher

Modifier and Type	Method	Description
static ModelDispatcher	Factory.makeModelDispatcher()	Creates a new ModelDispatcher to build and solve constraint programming models.

Methods in org.maxicp.modeling with parameters of type ModelDispatcher

Modifier and Type	Method	Description
static List<IntExpression>	DecisionVarCollector.collect(ModelDispatcher model)	Collects all candidate integer/boolean decision variables inferred from the model's constraint graph.
static List<IntExpression>	DecisionVarCollector.collectAllIntVars(ModelDispatcher model, Objective objective)	Collects all integer/boolean variables relevant for black-box search on the model, starting with primary decision variables from DecisionVarCollector.collect(ModelDispatcher), followed by any leaf IntVar in the objective and any remaining registered IntVar on the ModelDispatcher.
static List<IntervalVar>	DecisionVarCollector.collectIntervals(ModelDispatcher model)	Collects all IntervalVar instances from the model's constraint graph and registered interval variables.
static CumulFunction	Factory.step(ModelDispatcher m, int from, int h)

Uses of ModelDispatcher in org.maxicp.modeling.xcsp3

Methods in org.maxicp.modeling.xcsp3 that return ModelDispatcher

Modifier and Type	Method	Description
ModelDispatcher	XCSP3.XCSP3LoadedInstance.md()	Returns the value of the md record component.

Constructors in org.maxicp.modeling.xcsp3 with parameters of type ModelDispatcher

Modifier	Constructor	Description
	XCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, String[] decisionVarIds, Supplier<String> solutionGenerator, Objective objective)
	XCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, String[] decisionVarIds, Supplier<String> solutionGenerator, Objective objective, Function<List<Integer>,String> solutionFormatter)	Creates an instance of a XCSP3LoadedInstance record class.

Uses of ModelDispatcher in org.maxicp.search.blackbox

Methods in org.maxicp.search.blackbox with parameters of type ModelDispatcher

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

Constructors in org.maxicp.search.blackbox with parameters of type ModelDispatcher

Modifier	Constructor	Description
	BlackBoxSearch(ModelDispatcher model)	Creates a black-box search with automatic decision-variable and interval-variable inference.
	BlackBoxSearch(ModelDispatcher model, List<IntExpression> vars, Objective objective)	Creates a black-box search on explicit integer decision variables with an objective.
	BlackBoxSearch(ModelDispatcher model, IntExpression[] vars)	Creates a black-box search on an array of integer decision variables without objective (feasibility).
	BlackBoxSearch(ModelDispatcher model, IntExpression[] vars, Objective objective)	Creates a black-box search on an array of integer decision variables with an objective.
	BlackBoxSearch(ModelDispatcher model, IntervalVar... intervals)	Creates a black-box search on an array of scheduling interval variables.
	BlackBoxSearch(ModelDispatcher model, IntervalVar[][] intervals)	Creates a black-box search on a 2D matrix of scheduling interval variables.
	BlackBoxSearch(ModelDispatcher model, Objective objective)	Creates a black-box search with automatic decision-variable and interval-variable inference.
	ConflictDrivenBranching(ModelDispatcher model, List<IntExpression> vars, ModelStructureAnalyzer structure, Random random)
	DFSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, Objective objective, double randomSwapProbability, long randomSeed)
	LNSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, Objective objective, int failureLimitPerRestart, int freezeRatePercent, double randomSwapProbability, long randomSeed)
	LNSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, Objective objective, int failureLimitPerRestart, int freezeRatePercent, double randomSwapProbability, long randomSeed, BlackBoxSearch.FragmentSelectionStrategy fragmentSelectionStrategy)
	RestartRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, int baseFailureLimit, double randomSwapProbability, long randomSeed)
	SchedulingLNSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntervalVar> intervals, List<IntExpression> vars, Objective objective, int failureLimitPerRestart, int initialFreezeRatePercent, long randomSeed)
	SchedulingRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntervalVar> intervals, List<IntExpression> vars, Objective objective, long randomSeed)