![]() |
MAiNGO
|
#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< LowerBoundingSolver > | maingo::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... | |