Uses of Class
org.maxicp.ModelDispatcher
Packages that use ModelDispatcher
Package
Description
Examples of models using the symbolic modeling API
Symbolic Modeling API
Implementation of XCSP3 API using MaxiCP
-
Uses of ModelDispatcher in org.maxicp.cp.examples.modeling
Method parameters in org.maxicp.cp.examples.modeling with type arguments of type ModelDispatcherModifier and TypeMethodDescriptionstatic SearchStatisticsQAP.run(BiFunction<ModelDispatcher, IntExpression[], SearchMethod> search) -
Uses of ModelDispatcher in org.maxicp.modeling
Methods in org.maxicp.modeling that return ModelDispatcherMethods in org.maxicp.modeling with parameters of type ModelDispatcherModifier and TypeMethodDescriptionstatic List<IntExpression> DecisionVarCollector.collect(ModelDispatcher model) Collects all candidate decision variables inferred from the model's constraint graph.static CumulFunctionFactory.step(ModelDispatcher m, int from, int h) -
Uses of ModelDispatcher in org.maxicp.modeling.xcsp3
Methods in org.maxicp.modeling.xcsp3 that return ModelDispatcherModifier and TypeMethodDescriptionXCSP3.XCSP3LoadedInstance.md()Returns the value of themdrecord component.Constructors in org.maxicp.modeling.xcsp3 with parameters of type ModelDispatcherModifierConstructorDescriptionXCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, String[] decisionVarIds, Supplier<String> solutionGenerator, Objective objective) Creates an instance of aXCSP3LoadedInstancerecord class. -
Uses of ModelDispatcher in org.maxicp.search.blackbox
Methods in org.maxicp.search.blackbox with parameters of type ModelDispatcherModifier and TypeMethodDescriptionstatic ModelingBlackBox.ResultModelingBlackBox.optimize(ModelDispatcher model, IntExpression[] decisionVars, Objective objective, int timeLimitInSeconds) Solves an optimization model with default black-box settings.static ModelingBlackBox.ResultModelingBlackBox.optimize(ModelDispatcher model, IntExpression[] decisionVars, Objective objective, int timeLimitInSeconds, UnaryOperator<ModelingBlackBox.OptimizeConfig> configurer) Solves an optimization model with caller-provided configuration.static ModelingBlackBox.ResultModelingBlackBox.solve(ModelDispatcher model, IntExpression[] decisionVars, int timeLimitInSeconds) Solves a feasibility model with default black-box settings.static ModelingBlackBox.ResultModelingBlackBox.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 ModelDispatcherModifierConstructorDescriptionBlackBoxSearch(ModelDispatcher model) Creates a feasibility black-box search with automatic decision-variable inference.BlackBoxSearch(ModelDispatcher model, List<IntExpression> vars, Objective objective) Creates a black-box search on decision variables with an objective (optimization).BlackBoxSearch(ModelDispatcher model, IntExpression[] vars) Creates a black-box search on decision variables without objective (feasibility).BlackBoxSearch(ModelDispatcher model, IntExpression[] vars, Objective objective) Creates a black-box search on an array of decision variables with an objective (optimization).BlackBoxSearch(ModelDispatcher model, Objective objective) Creates a black-box search with automatic decision-variable inference.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)