sat_solver_utils.cc File Reference

#include "ortools/linear_solver/proto_solver/sat_solver_utils.h"
#include <memory>
#include <string>
#include <utility>
#include <vector>
#include "absl/log/check.h"
#include "ortools/glop/parameters.pb.h"
#include "ortools/glop/preprocessor.h"
#include "ortools/linear_solver/proto_solver/preprocessor.h"
#include "ortools/lp_data/lp_data.h"
#include "ortools/lp_data/lp_types.h"
#include "ortools/lp_data/proto_utils.h"
#include "ortools/util/logging.h"
#include "ortools/util/time_limit.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
	OR-Tools root namespace.

Macros
#define	ADD_LP_PREPROCESSOR(name, ...)

Functions
glop::ProblemStatus	operations_research::ApplyMipPresolveSteps (const glop::GlopParameters &glop_params, MPModelProto *model, std::vector< std::unique_ptr< glop::Preprocessor > > *for_postsolve, SolverLogger *logger)

Macro Definition Documentation

ADD_LP_PREPROCESSOR

#define ADD_LP_PREPROCESSOR	(		name,
			... )

Value:

  names.push_back(#name);              \
  lp_preprocessors.push_back(          \
      std::make_unique<name>(&glop_params __VA_OPT__(, ) __VA_ARGS__));

Definition at line 33 of file sat_solver_utils.cc.