14#ifndef OR_TOOLS_SAT_LINEAR_MODEL_H_
15#define OR_TOOLS_SAT_LINEAR_MODEL_H_
19#include "ortools/sat/cp_model.pb.h"
33 const CpModelProto&
model_proto()
const {
return model_proto_; }
37 return ignored_constraints_;
42 return additional_constraints_;
52 const CpModelProto& model_proto_;
55 std::vector<bool> ignored_constraints_;
56 std::vector<ConstraintProto> additional_constraints_;
59 int num_ignored_constraints_ = 0;
60 int num_exactly_ones_ = 0;
61 int num_full_encodings_ = 0;
62 int num_element_encodings_ = 0;
const CpModelProto & model_proto() const
int num_element_encodings() const
LinearModel(const CpModelProto &model_proto)
int num_exactly_ones() const
int num_full_encodings() const
const std::vector< bool > & ignored_constraints() const
Mask on the constraints of the model passed to the ctor.
const std::vector< ConstraintProto > & additional_constraints() const
Additional constraints created during the initialization.
int num_ignored_constraints() const
In SWIG mode, we don't want anything besides these top-level includes.