MAiNGO
lbp.h File Reference
#include "MAiNGOdebug.h"
#include "constraint.h"
#include "intervalLibrary.h"
#include "lbpDagObj.h"
#include "logger.h"
#include "returnCodes.h"
#include "settings.h"
#include "babNode.h"
#include "babUtils.h"
#include <list>
#include <memory>
#include <string>
#include <vector>

Go to the source code of this file.

Classes

struct  maingo::lbp::LbpDualInfo
 Container for information from the LBP that is needed in DBBT and probing, used for communicating the results via bab. More...
 
class  maingo::lbp::LowerBoundingSolver
 Wrapper for handling the lower bounding problems as well as optimization-based bounds tightening (OBBT) More...
 

Namespaces

 maingo
 namespace holding all essentials of MAiNGO
 
 maingo::lbp
 namespace holding all essentials of the lower bounding solver
 

Functions

std::shared_ptr< LowerBoundingSolvermaingo::lbp::make_lbp_solver (mc::FFGraph &DAG, const std::vector< mc::FFVar > &DAGvars, const std::vector< mc::FFVar > &DAGfunctions, const std::vector< babBase::OptimizationVariable > &variables, const unsigned nineqIn, const unsigned neqIn, const unsigned nineqRelaxationOnlyIn, const unsigned neqRelaxationOnlyIn, const unsigned nineqSquashIn, Settings *settingsIn, Logger *loggerIn, std::vector< Constraint > *constraintPropertiesIn)
 Factory function for initializing different lower bounding solver wrappers. More...