C++ Reference

C++ Reference: CP-SAT

ConstraintProto

Detailed Description

Definition at line 3589 of file cp_model.pb.h.

Public Types

enum  ConstraintCase {
  kBoolOr = 3, kBoolAnd = 4, kAtMostOne = 26, kBoolXor = 5,
  kIntDiv = 7, kIntMod = 8, kIntMax = 9, kLinMax = 27,
  kIntMin = 10, kLinMin = 28, kIntProd = 11, kLinear = 12,
  kAllDiff = 13, kElement = 14, kCircuit = 15, kRoutes = 23,
  kCircuitCovering = 25, kTable = 16, kAutomaton = 17, kInverse = 18,
  kReservoir = 24, kInterval = 19, kNoOverlap = 20, kNoOverlap2D = 21,
  kCumulative = 22, CONSTRAINT_NOT_SET = 0
}
 
enum  : int {
  kEnforcementLiteralFieldNumber = 2, kNameFieldNumber = 1, kBoolOrFieldNumber = 3, kBoolAndFieldNumber = 4,
  kAtMostOneFieldNumber = 26, kBoolXorFieldNumber = 5, kIntDivFieldNumber = 7, kIntModFieldNumber = 8,
  kIntMaxFieldNumber = 9, kLinMaxFieldNumber = 27, kIntMinFieldNumber = 10, kLinMinFieldNumber = 28,
  kIntProdFieldNumber = 11, kLinearFieldNumber = 12, kAllDiffFieldNumber = 13, kElementFieldNumber = 14,
  kCircuitFieldNumber = 15, kRoutesFieldNumber = 23, kCircuitCoveringFieldNumber = 25, kTableFieldNumber = 16,
  kAutomatonFieldNumber = 17, kInverseFieldNumber = 18, kReservoirFieldNumber = 24, kIntervalFieldNumber = 19,
  kNoOverlapFieldNumber = 20, kNoOverlap2DFieldNumber = 21, kCumulativeFieldNumber = 22
}
 

Public Member Functions

 ConstraintProto ()
 
virtual ~ConstraintProto ()
 
 ConstraintProto (const ConstraintProto &from)
 
 ConstraintProto (ConstraintProto &&from) noexcept
 
ConstraintProtooperator= (const ConstraintProto &from)
 
ConstraintProtooperator= (ConstraintProto &&from) noexcept
 
void Swap (ConstraintProto *other)
 
ConstraintProtoNew () const final
 
ConstraintProtoNew (::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
 
void CopyFrom (const ::PROTOBUF_NAMESPACE_ID::Message &from) final
 
void MergeFrom (const ::PROTOBUF_NAMESPACE_ID::Message &from) final
 
void CopyFrom (const ConstraintProto &from)
 
void MergeFrom (const ConstraintProto &from)
 
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear () final
 
bool IsInitialized () const final
 
size_t ByteSizeLong () const final
 
const char * _InternalParse (const char *ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext *ctx) final
 
::PROTOBUF_NAMESPACE_ID::uint8 * _InternalSerialize (::PROTOBUF_NAMESPACE_ID::uint8 *target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream *stream) const final
 
int GetCachedSize () const final
 
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata () const final
 
int enforcement_literal_size () const
 
void clear_enforcement_literal ()
 
::PROTOBUF_NAMESPACE_ID::int32 enforcement_literal (int index) const
 
void set_enforcement_literal (int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
 
void add_enforcement_literal (::PROTOBUF_NAMESPACE_ID::int32 value)
 
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & enforcement_literal () const
 
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_enforcement_literal ()
 
void clear_name ()
 
const std::string & name () const
 
void set_name (const std::string &value)
 
void set_name (std::string &&value)
 
void set_name (const char *value)
 
void set_name (const char *value, size_t size)
 
std::string * mutable_name ()
 
std::string * release_name ()
 
void set_allocated_name (std::string *name)
 
bool has_bool_or () const
 
void clear_bool_or ()
 
const ::operations_research::sat::BoolArgumentProtobool_or () const
 
::operations_research::sat::BoolArgumentProtorelease_bool_or ()
 
::operations_research::sat::BoolArgumentProtomutable_bool_or ()
 
void set_allocated_bool_or (::operations_research::sat::BoolArgumentProto *bool_or)
 
bool has_bool_and () const
 
void clear_bool_and ()
 
const ::operations_research::sat::BoolArgumentProtobool_and () const
 
::operations_research::sat::BoolArgumentProtorelease_bool_and ()
 
::operations_research::sat::BoolArgumentProtomutable_bool_and ()
 
void set_allocated_bool_and (::operations_research::sat::BoolArgumentProto *bool_and)
 
bool has_at_most_one () const
 
void clear_at_most_one ()
 
const ::operations_research::sat::BoolArgumentProtoat_most_one () const
 
::operations_research::sat::BoolArgumentProtorelease_at_most_one ()
 
::operations_research::sat::BoolArgumentProtomutable_at_most_one ()
 
void set_allocated_at_most_one (::operations_research::sat::BoolArgumentProto *at_most_one)
 
bool has_bool_xor () const
 
void clear_bool_xor ()
 
const ::operations_research::sat::BoolArgumentProtobool_xor () const
 
::operations_research::sat::BoolArgumentProtorelease_bool_xor ()
 
::operations_research::sat::BoolArgumentProtomutable_bool_xor ()
 
void set_allocated_bool_xor (::operations_research::sat::BoolArgumentProto *bool_xor)
 
bool has_int_div () const
 
void clear_int_div ()
 
const ::operations_research::sat::IntegerArgumentProtoint_div () const
 
::operations_research::sat::IntegerArgumentProtorelease_int_div ()
 
::operations_research::sat::IntegerArgumentProtomutable_int_div ()
 
void set_allocated_int_div (::operations_research::sat::IntegerArgumentProto *int_div)
 
bool has_int_mod () const
 
void clear_int_mod ()
 
const ::operations_research::sat::IntegerArgumentProtoint_mod () const
 
::operations_research::sat::IntegerArgumentProtorelease_int_mod ()
 
::operations_research::sat::IntegerArgumentProtomutable_int_mod ()
 
void set_allocated_int_mod (::operations_research::sat::IntegerArgumentProto *int_mod)
 
bool has_int_max () const
 
void clear_int_max ()
 
const ::operations_research::sat::IntegerArgumentProtoint_max () const
 
::operations_research::sat::IntegerArgumentProtorelease_int_max ()
 
::operations_research::sat::IntegerArgumentProtomutable_int_max ()
 
void set_allocated_int_max (::operations_research::sat::IntegerArgumentProto *int_max)
 
bool has_lin_max () const
 
void clear_lin_max ()
 
const ::operations_research::sat::LinearArgumentProtolin_max () const
 
::operations_research::sat::LinearArgumentProtorelease_lin_max ()
 
::operations_research::sat::LinearArgumentProtomutable_lin_max ()
 
void set_allocated_lin_max (::operations_research::sat::LinearArgumentProto *lin_max)
 
bool has_int_min () const
 
void clear_int_min ()
 
const ::operations_research::sat::IntegerArgumentProtoint_min () const
 
::operations_research::sat::IntegerArgumentProtorelease_int_min ()
 
::operations_research::sat::IntegerArgumentProtomutable_int_min ()
 
void set_allocated_int_min (::operations_research::sat::IntegerArgumentProto *int_min)
 
bool has_lin_min () const
 
void clear_lin_min ()
 
const ::operations_research::sat::LinearArgumentProtolin_min () const
 
::operations_research::sat::LinearArgumentProtorelease_lin_min ()
 
::operations_research::sat::LinearArgumentProtomutable_lin_min ()
 
void set_allocated_lin_min (::operations_research::sat::LinearArgumentProto *lin_min)
 
bool has_int_prod () const
 
void clear_int_prod ()
 
const ::operations_research::sat::IntegerArgumentProtoint_prod () const
 
::operations_research::sat::IntegerArgumentProtorelease_int_prod ()
 
::operations_research::sat::IntegerArgumentProtomutable_int_prod ()
 
void set_allocated_int_prod (::operations_research::sat::IntegerArgumentProto *int_prod)
 
bool has_linear () const
 
void clear_linear ()
 
const ::operations_research::sat::LinearConstraintProtolinear () const
 
::operations_research::sat::LinearConstraintProtorelease_linear ()
 
::operations_research::sat::LinearConstraintProtomutable_linear ()
 
void set_allocated_linear (::operations_research::sat::LinearConstraintProto *linear)
 
bool has_all_diff () const
 
void clear_all_diff ()
 
const ::operations_research::sat::AllDifferentConstraintProtoall_diff () const
 
::operations_research::sat::AllDifferentConstraintProtorelease_all_diff ()
 
::operations_research::sat::AllDifferentConstraintProtomutable_all_diff ()
 
void set_allocated_all_diff (::operations_research::sat::AllDifferentConstraintProto *all_diff)
 
bool has_element () const
 
void clear_element ()
 
const ::operations_research::sat::ElementConstraintProtoelement () const
 
::operations_research::sat::ElementConstraintProtorelease_element ()
 
::operations_research::sat::ElementConstraintProtomutable_element ()
 
void set_allocated_element (::operations_research::sat::ElementConstraintProto *element)
 
bool has_circuit () const
 
void clear_circuit ()
 
const ::operations_research::sat::CircuitConstraintProtocircuit () const
 
::operations_research::sat::CircuitConstraintProtorelease_circuit ()
 
::operations_research::sat::CircuitConstraintProtomutable_circuit ()
 
void set_allocated_circuit (::operations_research::sat::CircuitConstraintProto *circuit)
 
bool has_routes () const
 
void clear_routes ()
 
const ::operations_research::sat::RoutesConstraintProtoroutes () const
 
::operations_research::sat::RoutesConstraintProtorelease_routes ()
 
::operations_research::sat::RoutesConstraintProtomutable_routes ()
 
void set_allocated_routes (::operations_research::sat::RoutesConstraintProto *routes)
 
bool has_circuit_covering () const
 
void clear_circuit_covering ()
 
const ::operations_research::sat::CircuitCoveringConstraintProtocircuit_covering () const
 
::operations_research::sat::CircuitCoveringConstraintProtorelease_circuit_covering ()
 
::operations_research::sat::CircuitCoveringConstraintProtomutable_circuit_covering ()
 
void set_allocated_circuit_covering (::operations_research::sat::CircuitCoveringConstraintProto *circuit_covering)
 
bool has_table () const
 
void clear_table ()
 
const ::operations_research::sat::TableConstraintPrototable () const
 
::operations_research::sat::TableConstraintProtorelease_table ()
 
::operations_research::sat::TableConstraintProtomutable_table ()
 
void set_allocated_table (::operations_research::sat::TableConstraintProto *table)
 
bool has_automaton () const
 
void clear_automaton ()
 
const ::operations_research::sat::AutomatonConstraintProtoautomaton () const
 
::operations_research::sat::AutomatonConstraintProtorelease_automaton ()
 
::operations_research::sat::AutomatonConstraintProtomutable_automaton ()
 
void set_allocated_automaton (::operations_research::sat::AutomatonConstraintProto *automaton)
 
bool has_inverse () const
 
void clear_inverse ()
 
const ::operations_research::sat::InverseConstraintProtoinverse () const
 
::operations_research::sat::InverseConstraintProtorelease_inverse ()
 
::operations_research::sat::InverseConstraintProtomutable_inverse ()
 
void set_allocated_inverse (::operations_research::sat::InverseConstraintProto *inverse)
 
bool has_reservoir () const
 
void clear_reservoir ()
 
const ::operations_research::sat::ReservoirConstraintProtoreservoir () const
 
::operations_research::sat::ReservoirConstraintProtorelease_reservoir ()
 
::operations_research::sat::ReservoirConstraintProtomutable_reservoir ()
 
void set_allocated_reservoir (::operations_research::sat::ReservoirConstraintProto *reservoir)
 
bool has_interval () const
 
void clear_interval ()
 
const ::operations_research::sat::IntervalConstraintProtointerval () const
 
::operations_research::sat::IntervalConstraintProtorelease_interval ()
 
::operations_research::sat::IntervalConstraintProtomutable_interval ()
 
void set_allocated_interval (::operations_research::sat::IntervalConstraintProto *interval)
 
bool has_no_overlap () const
 
void clear_no_overlap ()
 
const ::operations_research::sat::NoOverlapConstraintProtono_overlap () const
 
::operations_research::sat::NoOverlapConstraintProtorelease_no_overlap ()
 
::operations_research::sat::NoOverlapConstraintProtomutable_no_overlap ()
 
void set_allocated_no_overlap (::operations_research::sat::NoOverlapConstraintProto *no_overlap)
 
bool has_no_overlap_2d () const
 
void clear_no_overlap_2d ()
 
const ::operations_research::sat::NoOverlap2DConstraintProtono_overlap_2d () const
 
::operations_research::sat::NoOverlap2DConstraintProtorelease_no_overlap_2d ()
 
::operations_research::sat::NoOverlap2DConstraintProtomutable_no_overlap_2d ()
 
void set_allocated_no_overlap_2d (::operations_research::sat::NoOverlap2DConstraintProto *no_overlap_2d)
 
bool has_cumulative () const
 
void clear_cumulative ()
 
const ::operations_research::sat::CumulativeConstraintProtocumulative () const
 
::operations_research::sat::CumulativeConstraintProtorelease_cumulative ()
 
::operations_research::sat::CumulativeConstraintProtomutable_cumulative ()
 
void set_allocated_cumulative (::operations_research::sat::CumulativeConstraintProto *cumulative)
 
void clear_constraint ()
 
ConstraintCase constraint_case () const
 

Static Public Member Functions

static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor ()
 
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor ()
 
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection ()
 
static const ConstraintProtodefault_instance ()
 
static void InitAsDefaultInstance ()
 
static const ConstraintProtointernal_default_instance ()
 

Static Public Attributes

static constexpr int kIndexInFileMessages
 

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kEnforcementLiteralFieldNumber 
kNameFieldNumber 
kBoolOrFieldNumber 
kBoolAndFieldNumber 
kAtMostOneFieldNumber 
kBoolXorFieldNumber 
kIntDivFieldNumber 
kIntModFieldNumber 
kIntMaxFieldNumber 
kLinMaxFieldNumber 
kIntMinFieldNumber 
kLinMinFieldNumber 
kIntProdFieldNumber 
kLinearFieldNumber 
kAllDiffFieldNumber 
kElementFieldNumber 
kCircuitFieldNumber 
kRoutesFieldNumber 
kCircuitCoveringFieldNumber 
kTableFieldNumber 
kAutomatonFieldNumber 
kInverseFieldNumber 
kReservoirFieldNumber 
kIntervalFieldNumber 
kNoOverlapFieldNumber 
kNoOverlap2DFieldNumber 
kCumulativeFieldNumber 

Definition at line 3723 of file cp_model.pb.h.

◆ ConstraintCase

Enumerator
kBoolOr 
kBoolAnd 
kAtMostOne 
kBoolXor 
kIntDiv 
kIntMod 
kIntMax 
kLinMax 
kIntMin 
kLinMin 
kIntProd 
kLinear 
kAllDiff 
kElement 
kCircuit 
kRoutes 
kCircuitCovering 
kTable 
kAutomaton 
kInverse 
kReservoir 
kInterval 
kNoOverlap 
kNoOverlap2D 
kCumulative 
CONSTRAINT_NOT_SET 

Definition at line 3625 of file cp_model.pb.h.

Constructor & Destructor Documentation

◆ ConstraintProto() [1/3]

◆ ~ConstraintProto()

virtual ~ConstraintProto ( )
virtual

◆ ConstraintProto() [2/3]

ConstraintProto ( const ConstraintProto from)

◆ ConstraintProto() [3/3]

ConstraintProto ( ConstraintProto &&  from)
inlinenoexcept

Definition at line 3596 of file cp_model.pb.h.

Member Function Documentation

◆ _InternalParse()

const char* _InternalParse ( const char *  ptr,
::PROTOBUF_NAMESPACE_ID::internal::ParseContext *  ctx 
)
final

◆ _InternalSerialize()

::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize ( ::PROTOBUF_NAMESPACE_ID::uint8 *  target,
::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream *  stream 
) const
final

◆ add_enforcement_literal()

void add_enforcement_literal ( ::PROTOBUF_NAMESPACE_ID::int32  value)
inline

Definition at line 7979 of file cp_model.pb.h.

◆ all_diff()

const ::operations_research::sat::AllDifferentConstraintProto & all_diff ( ) const
inline

Definition at line 8634 of file cp_model.pb.h.

◆ at_most_one()

const ::operations_research::sat::BoolArgumentProto & at_most_one ( ) const
inline

Definition at line 8134 of file cp_model.pb.h.

◆ automaton()

const ::operations_research::sat::AutomatonConstraintProto & automaton ( ) const
inline

Definition at line 8934 of file cp_model.pb.h.

◆ bool_and()

const ::operations_research::sat::BoolArgumentProto & bool_and ( ) const
inline

Definition at line 8084 of file cp_model.pb.h.

◆ bool_or()

const ::operations_research::sat::BoolArgumentProto & bool_or ( ) const
inline

Definition at line 8034 of file cp_model.pb.h.

◆ bool_xor()

const ::operations_research::sat::BoolArgumentProto & bool_xor ( ) const
inline

Definition at line 8184 of file cp_model.pb.h.

◆ ByteSizeLong()

size_t ByteSizeLong ( ) const
final

◆ circuit()

const ::operations_research::sat::CircuitConstraintProto & circuit ( ) const
inline

Definition at line 8734 of file cp_model.pb.h.

◆ circuit_covering()

const ::operations_research::sat::CircuitCoveringConstraintProto & circuit_covering ( ) const
inline

Definition at line 8834 of file cp_model.pb.h.

◆ Clear()

PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear ( )
final

◆ clear_all_diff()

void clear_all_diff ( )
inline

Definition at line 8612 of file cp_model.pb.h.

◆ clear_at_most_one()

void clear_at_most_one ( )
inline

Definition at line 8112 of file cp_model.pb.h.

◆ clear_automaton()

void clear_automaton ( )
inline

Definition at line 8912 of file cp_model.pb.h.

◆ clear_bool_and()

void clear_bool_and ( )
inline

Definition at line 8062 of file cp_model.pb.h.

◆ clear_bool_or()

void clear_bool_or ( )
inline

Definition at line 8012 of file cp_model.pb.h.

◆ clear_bool_xor()

void clear_bool_xor ( )
inline

Definition at line 8162 of file cp_model.pb.h.

◆ clear_circuit()

void clear_circuit ( )
inline

Definition at line 8712 of file cp_model.pb.h.

◆ clear_circuit_covering()

void clear_circuit_covering ( )
inline

Definition at line 8812 of file cp_model.pb.h.

◆ clear_constraint()

void clear_constraint ( )

◆ clear_cumulative()

void clear_cumulative ( )
inline

Definition at line 9212 of file cp_model.pb.h.

◆ clear_element()

void clear_element ( )
inline

Definition at line 8662 of file cp_model.pb.h.

◆ clear_enforcement_literal()

void clear_enforcement_literal ( )
inline

Definition at line 7962 of file cp_model.pb.h.

◆ clear_int_div()

void clear_int_div ( )
inline

Definition at line 8212 of file cp_model.pb.h.

◆ clear_int_max()

void clear_int_max ( )
inline

Definition at line 8312 of file cp_model.pb.h.

◆ clear_int_min()

void clear_int_min ( )
inline

Definition at line 8412 of file cp_model.pb.h.

◆ clear_int_mod()

void clear_int_mod ( )
inline

Definition at line 8262 of file cp_model.pb.h.

◆ clear_int_prod()

void clear_int_prod ( )
inline

Definition at line 8512 of file cp_model.pb.h.

◆ clear_interval()

void clear_interval ( )
inline

Definition at line 9062 of file cp_model.pb.h.

◆ clear_inverse()

void clear_inverse ( )
inline

Definition at line 8962 of file cp_model.pb.h.

◆ clear_lin_max()

void clear_lin_max ( )
inline

Definition at line 8362 of file cp_model.pb.h.

◆ clear_lin_min()

void clear_lin_min ( )
inline

Definition at line 8462 of file cp_model.pb.h.

◆ clear_linear()

void clear_linear ( )
inline

Definition at line 8562 of file cp_model.pb.h.

◆ clear_name()

void clear_name ( )
inline

Definition at line 7896 of file cp_model.pb.h.

◆ clear_no_overlap()

void clear_no_overlap ( )
inline

Definition at line 9112 of file cp_model.pb.h.

◆ clear_no_overlap_2d()

void clear_no_overlap_2d ( )
inline

Definition at line 9162 of file cp_model.pb.h.

◆ clear_reservoir()

void clear_reservoir ( )
inline

Definition at line 9012 of file cp_model.pb.h.

◆ clear_routes()

void clear_routes ( )
inline

Definition at line 8762 of file cp_model.pb.h.

◆ clear_table()

void clear_table ( )
inline

Definition at line 8862 of file cp_model.pb.h.

◆ constraint_case()

ConstraintProto::ConstraintCase constraint_case ( ) const
inline

Definition at line 9258 of file cp_model.pb.h.

◆ CopyFrom() [1/2]

void CopyFrom ( const ::PROTOBUF_NAMESPACE_ID::Message &  from)
final

◆ CopyFrom() [2/2]

void CopyFrom ( const ConstraintProto from)

◆ cumulative()

const ::operations_research::sat::CumulativeConstraintProto & cumulative ( ) const
inline

Definition at line 9234 of file cp_model.pb.h.

◆ default_instance()

static const ConstraintProto& default_instance ( )
static

◆ descriptor()

static const ::PROTOBUF_NAMESPACE_ID::Descriptor* descriptor ( )
inlinestatic

Definition at line 3614 of file cp_model.pb.h.

◆ element()

const ::operations_research::sat::ElementConstraintProto & element ( ) const
inline

Definition at line 8684 of file cp_model.pb.h.

◆ enforcement_literal() [1/2]

const ::PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int32 > & enforcement_literal ( ) const
inline

Definition at line 7988 of file cp_model.pb.h.

◆ enforcement_literal() [2/2]

PROTOBUF_NAMESPACE_ID::int32 enforcement_literal ( int  index) const
inline

Definition at line 7968 of file cp_model.pb.h.

◆ enforcement_literal_size()

int enforcement_literal_size ( ) const
inline

Definition at line 7959 of file cp_model.pb.h.

◆ GetCachedSize()

int GetCachedSize ( ) const
inlinefinal

Definition at line 3690 of file cp_model.pb.h.

◆ GetDescriptor()

static const ::PROTOBUF_NAMESPACE_ID::Descriptor* GetDescriptor ( )
inlinestatic

Definition at line 3617 of file cp_model.pb.h.

◆ GetMetadata()

::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata ( ) const
final

◆ GetReflection()

static const ::PROTOBUF_NAMESPACE_ID::Reflection* GetReflection ( )
inlinestatic

Definition at line 3620 of file cp_model.pb.h.

◆ has_all_diff()

bool has_all_diff ( ) const
inline

Definition at line 8606 of file cp_model.pb.h.

◆ has_at_most_one()

bool has_at_most_one ( ) const
inline

Definition at line 8106 of file cp_model.pb.h.

◆ has_automaton()

bool has_automaton ( ) const
inline

Definition at line 8906 of file cp_model.pb.h.

◆ has_bool_and()

bool has_bool_and ( ) const
inline

Definition at line 8056 of file cp_model.pb.h.

◆ has_bool_or()

bool has_bool_or ( ) const
inline

Definition at line 8006 of file cp_model.pb.h.

◆ has_bool_xor()

bool has_bool_xor ( ) const
inline

Definition at line 8156 of file cp_model.pb.h.

◆ has_circuit()

bool has_circuit ( ) const
inline

Definition at line 8706 of file cp_model.pb.h.

◆ has_circuit_covering()

bool has_circuit_covering ( ) const
inline

Definition at line 8806 of file cp_model.pb.h.

◆ has_cumulative()

bool has_cumulative ( ) const
inline

Definition at line 9206 of file cp_model.pb.h.

◆ has_element()

bool has_element ( ) const
inline

Definition at line 8656 of file cp_model.pb.h.

◆ has_int_div()

bool has_int_div ( ) const
inline

Definition at line 8206 of file cp_model.pb.h.

◆ has_int_max()

bool has_int_max ( ) const
inline

Definition at line 8306 of file cp_model.pb.h.

◆ has_int_min()

bool has_int_min ( ) const
inline

Definition at line 8406 of file cp_model.pb.h.

◆ has_int_mod()

bool has_int_mod ( ) const
inline

Definition at line 8256 of file cp_model.pb.h.

◆ has_int_prod()

bool has_int_prod ( ) const
inline

Definition at line 8506 of file cp_model.pb.h.

◆ has_interval()

bool has_interval ( ) const
inline

Definition at line 9056 of file cp_model.pb.h.

◆ has_inverse()

bool has_inverse ( ) const
inline

Definition at line 8956 of file cp_model.pb.h.

◆ has_lin_max()

bool has_lin_max ( ) const
inline

Definition at line 8356 of file cp_model.pb.h.

◆ has_lin_min()

bool has_lin_min ( ) const
inline

Definition at line 8456 of file cp_model.pb.h.

◆ has_linear()

bool has_linear ( ) const
inline

Definition at line 8556 of file cp_model.pb.h.

◆ has_no_overlap()

bool has_no_overlap ( ) const
inline

Definition at line 9106 of file cp_model.pb.h.

◆ has_no_overlap_2d()

bool has_no_overlap_2d ( ) const
inline

Definition at line 9156 of file cp_model.pb.h.

◆ has_reservoir()

bool has_reservoir ( ) const
inline

Definition at line 9006 of file cp_model.pb.h.

◆ has_routes()

bool has_routes ( ) const
inline

Definition at line 8756 of file cp_model.pb.h.

◆ has_table()

bool has_table ( ) const
inline

Definition at line 8856 of file cp_model.pb.h.

◆ InitAsDefaultInstance()

static void InitAsDefaultInstance ( )
static

◆ int_div()

const ::operations_research::sat::IntegerArgumentProto & int_div ( ) const
inline

Definition at line 8234 of file cp_model.pb.h.

◆ int_max()

const ::operations_research::sat::IntegerArgumentProto & int_max ( ) const
inline

Definition at line 8334 of file cp_model.pb.h.

◆ int_min()

const ::operations_research::sat::IntegerArgumentProto & int_min ( ) const
inline

Definition at line 8434 of file cp_model.pb.h.

◆ int_mod()

const ::operations_research::sat::IntegerArgumentProto & int_mod ( ) const
inline

Definition at line 8284 of file cp_model.pb.h.

◆ int_prod()

const ::operations_research::sat::IntegerArgumentProto & int_prod ( ) const
inline

Definition at line 8534 of file cp_model.pb.h.

◆ internal_default_instance()

static const ConstraintProto* internal_default_instance ( )
inlinestatic

Definition at line 3655 of file cp_model.pb.h.

◆ interval()

const ::operations_research::sat::IntervalConstraintProto & interval ( ) const
inline

Definition at line 9084 of file cp_model.pb.h.

◆ inverse()

const ::operations_research::sat::InverseConstraintProto & inverse ( ) const
inline

Definition at line 8984 of file cp_model.pb.h.

◆ IsInitialized()

bool IsInitialized ( ) const
final

◆ lin_max()

const ::operations_research::sat::LinearArgumentProto & lin_max ( ) const
inline

Definition at line 8384 of file cp_model.pb.h.

◆ lin_min()

const ::operations_research::sat::LinearArgumentProto & lin_min ( ) const
inline

Definition at line 8484 of file cp_model.pb.h.

◆ linear()

const ::operations_research::sat::LinearConstraintProto & linear ( ) const
inline

Definition at line 8584 of file cp_model.pb.h.

◆ MergeFrom() [1/2]

void MergeFrom ( const ::PROTOBUF_NAMESPACE_ID::Message &  from)
final

◆ MergeFrom() [2/2]

void MergeFrom ( const ConstraintProto from)

◆ mutable_all_diff()

Definition at line 8647 of file cp_model.pb.h.

◆ mutable_at_most_one()

operations_research::sat::BoolArgumentProto * mutable_at_most_one ( )
inline

Definition at line 8147 of file cp_model.pb.h.

◆ mutable_automaton()

Definition at line 8947 of file cp_model.pb.h.

◆ mutable_bool_and()

operations_research::sat::BoolArgumentProto * mutable_bool_and ( )
inline

Definition at line 8097 of file cp_model.pb.h.

◆ mutable_bool_or()

operations_research::sat::BoolArgumentProto * mutable_bool_or ( )
inline

Definition at line 8047 of file cp_model.pb.h.

◆ mutable_bool_xor()

operations_research::sat::BoolArgumentProto * mutable_bool_xor ( )
inline

Definition at line 8197 of file cp_model.pb.h.

◆ mutable_circuit()

Definition at line 8747 of file cp_model.pb.h.

◆ mutable_circuit_covering()

operations_research::sat::CircuitCoveringConstraintProto * mutable_circuit_covering ( )
inline

Definition at line 8847 of file cp_model.pb.h.

◆ mutable_cumulative()

operations_research::sat::CumulativeConstraintProto * mutable_cumulative ( )
inline

Definition at line 9247 of file cp_model.pb.h.

◆ mutable_element()

Definition at line 8697 of file cp_model.pb.h.

◆ mutable_enforcement_literal()

PROTOBUF_NAMESPACE_ID::RepeatedField<::PROTOBUF_NAMESPACE_ID::int32 > * mutable_enforcement_literal ( )
inline

Definition at line 7997 of file cp_model.pb.h.

◆ mutable_int_div()

operations_research::sat::IntegerArgumentProto * mutable_int_div ( )
inline

Definition at line 8247 of file cp_model.pb.h.

◆ mutable_int_max()

operations_research::sat::IntegerArgumentProto * mutable_int_max ( )
inline

Definition at line 8347 of file cp_model.pb.h.

◆ mutable_int_min()

operations_research::sat::IntegerArgumentProto * mutable_int_min ( )
inline

Definition at line 8447 of file cp_model.pb.h.

◆ mutable_int_mod()

operations_research::sat::IntegerArgumentProto * mutable_int_mod ( )
inline

Definition at line 8297 of file cp_model.pb.h.

◆ mutable_int_prod()

operations_research::sat::IntegerArgumentProto * mutable_int_prod ( )
inline

Definition at line 8547 of file cp_model.pb.h.

◆ mutable_interval()

Definition at line 9097 of file cp_model.pb.h.

◆ mutable_inverse()

Definition at line 8997 of file cp_model.pb.h.

◆ mutable_lin_max()

operations_research::sat::LinearArgumentProto * mutable_lin_max ( )
inline

Definition at line 8397 of file cp_model.pb.h.

◆ mutable_lin_min()

operations_research::sat::LinearArgumentProto * mutable_lin_min ( )
inline

Definition at line 8497 of file cp_model.pb.h.

◆ mutable_linear()

Definition at line 8597 of file cp_model.pb.h.

◆ mutable_name()

std::string * mutable_name ( )
inline

Definition at line 7907 of file cp_model.pb.h.

◆ mutable_no_overlap()

operations_research::sat::NoOverlapConstraintProto * mutable_no_overlap ( )
inline

Definition at line 9147 of file cp_model.pb.h.

◆ mutable_no_overlap_2d()

operations_research::sat::NoOverlap2DConstraintProto * mutable_no_overlap_2d ( )
inline

Definition at line 9197 of file cp_model.pb.h.

◆ mutable_reservoir()

Definition at line 9047 of file cp_model.pb.h.

◆ mutable_routes()

Definition at line 8797 of file cp_model.pb.h.

◆ mutable_table()

Definition at line 8897 of file cp_model.pb.h.

◆ name()

const std::string & name ( ) const
inline

Definition at line 7899 of file cp_model.pb.h.

◆ New() [1/2]

ConstraintProto* New ( ) const
inlinefinal

Definition at line 3672 of file cp_model.pb.h.

◆ New() [2/2]

ConstraintProto* New ( ::PROTOBUF_NAMESPACE_ID::Arena *  arena) const
inlinefinal

Definition at line 3676 of file cp_model.pb.h.

◆ no_overlap()

const ::operations_research::sat::NoOverlapConstraintProto & no_overlap ( ) const
inline

Definition at line 9134 of file cp_model.pb.h.

◆ no_overlap_2d()

const ::operations_research::sat::NoOverlap2DConstraintProto & no_overlap_2d ( ) const
inline

Definition at line 9184 of file cp_model.pb.h.

◆ operator=() [1/2]

ConstraintProto& operator= ( const ConstraintProto from)
inline

Definition at line 3601 of file cp_model.pb.h.

◆ operator=() [2/2]

ConstraintProto& operator= ( ConstraintProto &&  from)
inlinenoexcept

Definition at line 3605 of file cp_model.pb.h.

◆ release_all_diff()

Definition at line 8618 of file cp_model.pb.h.

◆ release_at_most_one()

operations_research::sat::BoolArgumentProto * release_at_most_one ( )
inline

Definition at line 8118 of file cp_model.pb.h.

◆ release_automaton()

Definition at line 8918 of file cp_model.pb.h.

◆ release_bool_and()

operations_research::sat::BoolArgumentProto * release_bool_and ( )
inline

Definition at line 8068 of file cp_model.pb.h.

◆ release_bool_or()

operations_research::sat::BoolArgumentProto * release_bool_or ( )
inline

Definition at line 8018 of file cp_model.pb.h.

◆ release_bool_xor()

operations_research::sat::BoolArgumentProto * release_bool_xor ( )
inline

Definition at line 8168 of file cp_model.pb.h.

◆ release_circuit()

Definition at line 8718 of file cp_model.pb.h.

◆ release_circuit_covering()

operations_research::sat::CircuitCoveringConstraintProto * release_circuit_covering ( )
inline

Definition at line 8818 of file cp_model.pb.h.

◆ release_cumulative()

operations_research::sat::CumulativeConstraintProto * release_cumulative ( )
inline

Definition at line 9218 of file cp_model.pb.h.

◆ release_element()

Definition at line 8668 of file cp_model.pb.h.

◆ release_int_div()

operations_research::sat::IntegerArgumentProto * release_int_div ( )
inline

Definition at line 8218 of file cp_model.pb.h.

◆ release_int_max()

operations_research::sat::IntegerArgumentProto * release_int_max ( )
inline

Definition at line 8318 of file cp_model.pb.h.

◆ release_int_min()

operations_research::sat::IntegerArgumentProto * release_int_min ( )
inline

Definition at line 8418 of file cp_model.pb.h.

◆ release_int_mod()

operations_research::sat::IntegerArgumentProto * release_int_mod ( )
inline

Definition at line 8268 of file cp_model.pb.h.

◆ release_int_prod()

operations_research::sat::IntegerArgumentProto * release_int_prod ( )
inline

Definition at line 8518 of file cp_model.pb.h.

◆ release_interval()

Definition at line 9068 of file cp_model.pb.h.

◆ release_inverse()

Definition at line 8968 of file cp_model.pb.h.

◆ release_lin_max()

operations_research::sat::LinearArgumentProto * release_lin_max ( )
inline

Definition at line 8368 of file cp_model.pb.h.

◆ release_lin_min()

operations_research::sat::LinearArgumentProto * release_lin_min ( )
inline

Definition at line 8468 of file cp_model.pb.h.

◆ release_linear()

Definition at line 8568 of file cp_model.pb.h.

◆ release_name()

std::string * release_name ( )
inline

Definition at line 7940 of file cp_model.pb.h.

◆ release_no_overlap()

operations_research::sat::NoOverlapConstraintProto * release_no_overlap ( )
inline

Definition at line 9118 of file cp_model.pb.h.

◆ release_no_overlap_2d()

operations_research::sat::NoOverlap2DConstraintProto * release_no_overlap_2d ( )
inline

Definition at line 9168 of file cp_model.pb.h.

◆ release_reservoir()

Definition at line 9018 of file cp_model.pb.h.

◆ release_routes()

Definition at line 8768 of file cp_model.pb.h.

◆ release_table()

Definition at line 8868 of file cp_model.pb.h.

◆ reservoir()

const ::operations_research::sat::ReservoirConstraintProto & reservoir ( ) const
inline

Definition at line 9034 of file cp_model.pb.h.

◆ routes()

const ::operations_research::sat::RoutesConstraintProto & routes ( ) const
inline

Definition at line 8784 of file cp_model.pb.h.

◆ set_allocated_all_diff()

void set_allocated_all_diff ( ::operations_research::sat::AllDifferentConstraintProto all_diff)

◆ set_allocated_at_most_one()

void set_allocated_at_most_one ( ::operations_research::sat::BoolArgumentProto at_most_one)

◆ set_allocated_automaton()

void set_allocated_automaton ( ::operations_research::sat::AutomatonConstraintProto automaton)

◆ set_allocated_bool_and()

void set_allocated_bool_and ( ::operations_research::sat::BoolArgumentProto bool_and)

◆ set_allocated_bool_or()

void set_allocated_bool_or ( ::operations_research::sat::BoolArgumentProto bool_or)

◆ set_allocated_bool_xor()

void set_allocated_bool_xor ( ::operations_research::sat::BoolArgumentProto bool_xor)

◆ set_allocated_circuit()

void set_allocated_circuit ( ::operations_research::sat::CircuitConstraintProto circuit)

◆ set_allocated_circuit_covering()

void set_allocated_circuit_covering ( ::operations_research::sat::CircuitCoveringConstraintProto circuit_covering)

◆ set_allocated_cumulative()

void set_allocated_cumulative ( ::operations_research::sat::CumulativeConstraintProto cumulative)

◆ set_allocated_element()

void set_allocated_element ( ::operations_research::sat::ElementConstraintProto element)

◆ set_allocated_int_div()

void set_allocated_int_div ( ::operations_research::sat::IntegerArgumentProto int_div)

◆ set_allocated_int_max()

void set_allocated_int_max ( ::operations_research::sat::IntegerArgumentProto int_max)

◆ set_allocated_int_min()

void set_allocated_int_min ( ::operations_research::sat::IntegerArgumentProto int_min)

◆ set_allocated_int_mod()

void set_allocated_int_mod ( ::operations_research::sat::IntegerArgumentProto int_mod)

◆ set_allocated_int_prod()

void set_allocated_int_prod ( ::operations_research::sat::IntegerArgumentProto int_prod)

◆ set_allocated_interval()

void set_allocated_interval ( ::operations_research::sat::IntervalConstraintProto interval)

◆ set_allocated_inverse()

void set_allocated_inverse ( ::operations_research::sat::InverseConstraintProto inverse)

◆ set_allocated_lin_max()

void set_allocated_lin_max ( ::operations_research::sat::LinearArgumentProto lin_max)

◆ set_allocated_lin_min()

void set_allocated_lin_min ( ::operations_research::sat::LinearArgumentProto lin_min)

◆ set_allocated_linear()

void set_allocated_linear ( ::operations_research::sat::LinearConstraintProto linear)

◆ set_allocated_name()

void set_allocated_name ( std::string *  name)
inline

Definition at line 7945 of file cp_model.pb.h.

◆ set_allocated_no_overlap()

void set_allocated_no_overlap ( ::operations_research::sat::NoOverlapConstraintProto no_overlap)

◆ set_allocated_no_overlap_2d()

void set_allocated_no_overlap_2d ( ::operations_research::sat::NoOverlap2DConstraintProto no_overlap_2d)

◆ set_allocated_reservoir()

void set_allocated_reservoir ( ::operations_research::sat::ReservoirConstraintProto reservoir)

◆ set_allocated_routes()

void set_allocated_routes ( ::operations_research::sat::RoutesConstraintProto routes)

◆ set_allocated_table()

void set_allocated_table ( ::operations_research::sat::TableConstraintProto table)

◆ set_enforcement_literal()

void set_enforcement_literal ( int  index,
::PROTOBUF_NAMESPACE_ID::int32  value 
)
inline

Definition at line 7972 of file cp_model.pb.h.

◆ set_name() [1/4]

void set_name ( const char *  value)
inline

Definition at line 7924 of file cp_model.pb.h.

◆ set_name() [2/4]

void set_name ( const char *  value,
size_t  size 
)
inline

Definition at line 7930 of file cp_model.pb.h.

◆ set_name() [3/4]

void set_name ( const std::string &  value)
inline

Definition at line 7903 of file cp_model.pb.h.

◆ set_name() [4/4]

void set_name ( std::string &&  value)
inline

Definition at line 7918 of file cp_model.pb.h.

◆ Swap()

void Swap ( ConstraintProto other)
inline

Definition at line 3665 of file cp_model.pb.h.

◆ table()

const ::operations_research::sat::TableConstraintProto & table ( ) const
inline

Definition at line 8884 of file cp_model.pb.h.

Member Data Documentation

◆ kIndexInFileMessages

constexpr int kIndexInFileMessages
staticconstexpr
Initial value:
=
19

Definition at line 3659 of file cp_model.pb.h.


The documentation for this class was generated from the following file: