discrete_problem_initialize

Functions for initializing the main problem in Logic-based outer approximation.

Functions

init_custom_disjuncts(util_block, ...)

Initialize by using user-specified custom disjuncts.

init_fixed_disjuncts(util_block, ...)

Initialize by solving the problem with the current disjunct values.

init_max_binaries(util_block, ...)

Initialize by maximizing binary variables and disjuncts.

init_set_covering(util_block, ...)

Initialize by solving problems to cover the set of all disjuncts.

preserve_discrete_problem_feasible_region(...)

update_set_covering_objective(...)

use_discrete_problem_for_max_binary_initialization(...)

use_discrete_problem_for_set_covering(...)