EAGO's Branch and Bound Routine

This component is meant to provide a flexible framework for implementing spatial branch-and-bound based optimization routines in Julia. All components of the branch-and-bound routine can be customized by the individual user: lower bounding problem, upper bounding problem.

Branch and Bound Node Storage

Missing docstring.

Missing docstring for EAGO.NodeBB. Check Documenter's build log for details.

The global optimizer structure holds all information relevant to branch-and-bound.

Missing docstring.

Missing docstring for EAGO.GlobalOptimizer. Check Documenter's build log for details.

Customizable subroutines

Stack management subroutines

Missing docstring.

Missing docstring for EAGO.branch_node!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.select_branch_variable(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.select_branch_point(t::ExtensionType, m::GlobalOptimizer, i). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.node_selection!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.fathom!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.initialize_stack!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.single_storage!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Internal Subproblem Status Codes & Subsolver Management

Missing docstring.

Missing docstring for EAGO.RelaxResultStatus. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.LocalResultStatus. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.Incremental. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.SubSolvers. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.set_default_config!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Main subproblem and termination subroutines

Missing docstring.

Missing docstring for EAGO.convergence_check(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.cut_condition(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.lower_problem!(t::ExtensionType, m::GlobalOptimizer{R,S,Q}) where {R,S,Q<:ExtensionType}. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.preprocess!(t::ExtensionType, m::GlobalOptimizer{R,S,Q}) where {R,S,Q<:ExtensionType}. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.postprocess!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.repeat_check(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.termination_check(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.upper_problem!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.parse_global!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.optimize_hook!(t::ExtensionType, m::GlobalOptimizer). Check Documenter's build log for details.

Internal Subroutines

Missing docstring.

Missing docstring for EAGO.is_integer_subproblem(m). Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.is_integer_feasible_local(m::GlobalOptimizer, d). Check Documenter's build log for details.

Functions for generating console output

Missing docstring.

Missing docstring for EAGO.print_iteration!. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.print_node!. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.print_results!. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.print_solution!. Check Documenter's build log for details.

Support for log output at each iteration

Missing docstring.

Missing docstring for EAGO.Log. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.log_iteration!(x::GlobalOptimizer). Check Documenter's build log for details.

Interval Representations of Expressions

Missing docstring.

Missing docstring for EAGO.AbstractEAGOConstraint. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.AffineFunctionEq. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.AffineFunctionIneq. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.BufferedQuadraticIneq. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.BufferedQuadraticEq. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.NonlinearExpression. Check Documenter's build log for details.

Missing docstring.

Missing docstring for EAGO.BufferedNonlinearFunction. Check Documenter's build log for details.