Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::DecisionStrategyProto Class Referencefinal

Detailed Description

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

#include <cp_model.pb.h>

Inheritance diagram for operations_research::sat::DecisionStrategyProto:

Classes

class  _Internal

Public Types

enum  : int { kVariablesFieldNumber = 1 , kExprsFieldNumber = 5 , kVariableSelectionStrategyFieldNumber = 2 , kDomainReductionStrategyFieldNumber = 3 }
using VariableSelectionStrategy = DecisionStrategyProto_VariableSelectionStrategy
using DomainReductionStrategy = DecisionStrategyProto_DomainReductionStrategy

Public Member Functions

 DecisionStrategyProto ()
 ~DecisionStrategyProto () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR DecisionStrategyProto (::google::protobuf::internal::ConstantInitialized)
 DecisionStrategyProto (const DecisionStrategyProto &from)
 DecisionStrategyProto (DecisionStrategyProto &&from) noexcept
DecisionStrategyProtooperator= (const DecisionStrategyProto &from)
DecisionStrategyProtooperator= (DecisionStrategyProto &&from) noexcept
const ::google::protobuf::UnknownFieldSet & unknown_fields () const ABSL_ATTRIBUTE_LIFETIME_BOUND
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL mutable_unknown_fields () ABSL_ATTRIBUTE_LIFETIME_BOUND
void Swap (DecisionStrategyProto *PROTOBUF_NONNULL other)
void UnsafeArenaSwap (DecisionStrategyProto *PROTOBUF_NONNULL other)
DecisionStrategyProto *PROTOBUF_NONNULL New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void CopyFrom (const DecisionStrategyProto &from)
void MergeFrom (const DecisionStrategyProto &from)
bool IsInitialized () const
ABSL_ATTRIBUTE_REINITIALIZES void Clear () PROTOBUF_FINAL
::size_t ByteSizeLong () const final
::uint8_t *PROTOBUF_NONNULL _InternalSerialize (::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
int GetCachedSize () const
::google::protobuf::Metadata GetMetadata () const
int variables_size () const
void clear_variables ()
::int32_t variables (int index) const
void set_variables (int index, ::int32_t value)
void add_variables (::int32_t value)
const ::google::protobuf::RepeatedField<::int32_t > & variables () const
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_variables ()
int exprs_size () const
void clear_exprs ()
::operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL mutable_exprs (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > *PROTOBUF_NONNULL mutable_exprs ()
const ::operations_research::sat::LinearExpressionProtoexprs (int index) const
::operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL add_exprs ()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > & exprs () const
void clear_variable_selection_strategy ()
::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy variable_selection_strategy () const
void set_variable_selection_strategy (::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value)
void clear_domain_reduction_strategy ()
::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy domain_reduction_strategy () const
void set_domain_reduction_strategy (::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value)
template<typename>
PROTOBUF_CONSTEXPR DecisionStrategyProto (::_pbi::ConstantInitialized)

Static Public Member Functions

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor ()
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor ()
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection ()
static const DecisionStrategyProtodefault_instance ()
static constexpr auto InternalGenerateClassData_ ()
static bool VariableSelectionStrategy_IsValid (int value)
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL VariableSelectionStrategy_descriptor ()
template<typename T>
static const ::std::string & VariableSelectionStrategy_Name (T value)
static bool VariableSelectionStrategy_Parse (::absl::string_view name, VariableSelectionStrategy *PROTOBUF_NONNULL value)
static bool DomainReductionStrategy_IsValid (int value)
static const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL DomainReductionStrategy_descriptor ()
template<typename T>
static const ::std::string & DomainReductionStrategy_Name (T value)
static bool DomainReductionStrategy_Parse (::absl::string_view name, DomainReductionStrategy *PROTOBUF_NONNULL value)

Static Public Attributes

static constexpr int kIndexInFileMessages = 22
static constexpr VariableSelectionStrategy CHOOSE_FIRST = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST
static constexpr VariableSelectionStrategy CHOOSE_LOWEST_MIN = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_LOWEST_MIN
static constexpr VariableSelectionStrategy CHOOSE_HIGHEST_MAX = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_HIGHEST_MAX
static constexpr VariableSelectionStrategy CHOOSE_MIN_DOMAIN_SIZE = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MIN_DOMAIN_SIZE
static constexpr VariableSelectionStrategy CHOOSE_MAX_DOMAIN_SIZE = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE
static constexpr VariableSelectionStrategy VariableSelectionStrategy_MIN = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN
static constexpr VariableSelectionStrategy VariableSelectionStrategy_MAX = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX
static constexpr int VariableSelectionStrategy_ARRAYSIZE = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE
static constexpr DomainReductionStrategy SELECT_MIN_VALUE = DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE
static constexpr DomainReductionStrategy SELECT_MAX_VALUE = DecisionStrategyProto_DomainReductionStrategy_SELECT_MAX_VALUE
static constexpr DomainReductionStrategy SELECT_LOWER_HALF = DecisionStrategyProto_DomainReductionStrategy_SELECT_LOWER_HALF
static constexpr DomainReductionStrategy SELECT_UPPER_HALF = DecisionStrategyProto_DomainReductionStrategy_SELECT_UPPER_HALF
static constexpr DomainReductionStrategy SELECT_MEDIAN_VALUE = DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE
static constexpr DomainReductionStrategy SELECT_RANDOM_HALF = DecisionStrategyProto_DomainReductionStrategy_SELECT_RANDOM_HALF
static constexpr DomainReductionStrategy DomainReductionStrategy_MIN = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN
static constexpr DomainReductionStrategy DomainReductionStrategy_MAX = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX
static constexpr int DomainReductionStrategy_ARRAYSIZE = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE

Friends

class ::google::protobuf::internal::TcParser
class ::google::protobuf::MessageLite
class ::google::protobuf::Arena
template<typename T>
class ::google::protobuf::Arena::InternalHelper
struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto
void swap (DecisionStrategyProto &a, DecisionStrategyProto &b)

Member Typedef Documentation

◆ DomainReductionStrategy

◆ VariableSelectionStrategy

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kVariablesFieldNumber 
kExprsFieldNumber 
kVariableSelectionStrategyFieldNumber 
kDomainReductionStrategyFieldNumber 

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

Constructor & Destructor Documentation

◆ DecisionStrategyProto() [1/5]

operations_research::sat::DecisionStrategyProto::DecisionStrategyProto ( )
inline

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

◆ ~DecisionStrategyProto()

operations_research::sat::DecisionStrategyProto::~DecisionStrategyProto ( )

Definition at line 10911 of file cp_model.pb.cc.

◆ DecisionStrategyProto() [2/5]

template<typename = void>
PROTOBUF_CONSTEXPR operations_research::sat::DecisionStrategyProto::DecisionStrategyProto ( ::google::protobuf::internal::ConstantInitialized )
explicit

◆ DecisionStrategyProto() [3/5]

operations_research::sat::DecisionStrategyProto::DecisionStrategyProto ( const DecisionStrategyProto & from)
inline

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

◆ DecisionStrategyProto() [4/5]

operations_research::sat::DecisionStrategyProto::DecisionStrategyProto ( DecisionStrategyProto && from)
inlinenoexcept

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

◆ DecisionStrategyProto() [5/5]

template<typename>
PROTOBUF_CONSTEXPR operations_research::sat::DecisionStrategyProto::DecisionStrategyProto ( ::_pbi::ConstantInitialized )

Definition at line 662 of file cp_model.pb.cc.

Member Function Documentation

◆ _InternalSerialize()

uint8_t *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::_InternalSerialize ( ::uint8_t *PROTOBUF_NONNULL target,
::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream ) const
final

Definition at line 11072 of file cp_model.pb.cc.

◆ add_exprs()

operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::add_exprs ( )
inline

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

◆ add_variables()

void operations_research::sat::DecisionStrategyProto::add_variables ( ::int32_t value)
inline

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

◆ ByteSizeLong()

size_t operations_research::sat::DecisionStrategyProto::ByteSizeLong ( ) const
final

Definition at line 11140 of file cp_model.pb.cc.

◆ Clear()

PROTOBUF_NOINLINE void operations_research::sat::DecisionStrategyProto::Clear ( )

Definition at line 11041 of file cp_model.pb.cc.

◆ clear_domain_reduction_strategy()

void operations_research::sat::DecisionStrategyProto::clear_domain_reduction_strategy ( )
inline

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

◆ clear_exprs()

void operations_research::sat::DecisionStrategyProto::clear_exprs ( )
inline

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

◆ clear_variable_selection_strategy()

void operations_research::sat::DecisionStrategyProto::clear_variable_selection_strategy ( )
inline

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

◆ clear_variables()

void operations_research::sat::DecisionStrategyProto::clear_variables ( )
inline

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

◆ CopyFrom()

void operations_research::sat::DecisionStrategyProto::CopyFrom ( const DecisionStrategyProto & from)

Definition at line 11226 of file cp_model.pb.cc.

◆ default_instance()

const DecisionStrategyProto & operations_research::sat::DecisionStrategyProto::default_instance ( )
inlinestatic

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

◆ descriptor()

const ::google::protobuf::Descriptor *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::descriptor ( )
inlinestatic

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

◆ domain_reduction_strategy()

operations_research::sat::DecisionStrategyProto_DomainReductionStrategy operations_research::sat::DecisionStrategyProto::domain_reduction_strategy ( ) const
inline

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

◆ DomainReductionStrategy_descriptor()

const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_descriptor ( )
inlinestatic

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

◆ DomainReductionStrategy_IsValid()

bool operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_IsValid ( int value)
inlinestatic

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

◆ DomainReductionStrategy_Name()

template<typename T>
const ::std::string & operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_Name ( T value)
inlinestatic

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

◆ DomainReductionStrategy_Parse()

bool operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_Parse ( ::absl::string_view name,
DomainReductionStrategy *PROTOBUF_NONNULL value )
inlinestatic

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

◆ exprs() [1/2]

const::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > & operations_research::sat::DecisionStrategyProto::exprs ( ) const
inline

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

◆ exprs() [2/2]

const::operations_research::sat::LinearExpressionProto & operations_research::sat::DecisionStrategyProto::exprs ( int index) const
inline

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

◆ exprs_size()

int operations_research::sat::DecisionStrategyProto::exprs_size ( ) const
inline

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

◆ GetCachedSize()

int operations_research::sat::DecisionStrategyProto::GetCachedSize ( ) const
inline

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

◆ GetDescriptor()

const ::google::protobuf::Descriptor *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::GetDescriptor ( )
inlinestatic

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

◆ GetMetadata()

google::protobuf::Metadata operations_research::sat::DecisionStrategyProto::GetMetadata ( ) const

Definition at line 11248 of file cp_model.pb.cc.

◆ GetReflection()

const ::google::protobuf::Reflection *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::GetReflection ( )
inlinestatic

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

◆ InternalGenerateClassData_()

auto operations_research::sat::DecisionStrategyProto::InternalGenerateClassData_ ( )
staticconstexpr

Definition at line 10950 of file cp_model.pb.cc.

◆ IsInitialized()

bool operations_research::sat::DecisionStrategyProto::IsInitialized ( ) const
inline

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

◆ MergeFrom()

void operations_research::sat::DecisionStrategyProto::MergeFrom ( const DecisionStrategyProto & from)
inline

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

◆ mutable_exprs() [1/2]

google::protobuf::RepeatedPtrField<::operations_research::sat::LinearExpressionProto > *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::mutable_exprs ( )
inline

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

◆ mutable_exprs() [2/2]

operations_research::sat::LinearExpressionProto *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::mutable_exprs ( int index)
inline

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

◆ mutable_unknown_fields()

inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::mutable_unknown_fields ( )
inline

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

◆ mutable_variables()

google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::mutable_variables ( )
inline

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

◆ New()

DecisionStrategyProto *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::New ( ::google::protobuf::Arena *PROTOBUF_NULLABLE arena = nullptr) const
inline

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

◆ operator=() [1/2]

DecisionStrategyProto & operations_research::sat::DecisionStrategyProto::operator= ( const DecisionStrategyProto & from)
inline

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

◆ operator=() [2/2]

DecisionStrategyProto & operations_research::sat::DecisionStrategyProto::operator= ( DecisionStrategyProto && from)
inlinenoexcept

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

◆ set_domain_reduction_strategy()

void operations_research::sat::DecisionStrategyProto::set_domain_reduction_strategy ( ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value)
inline

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

◆ set_variable_selection_strategy()

void operations_research::sat::DecisionStrategyProto::set_variable_selection_strategy ( ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value)
inline

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

◆ set_variables()

void operations_research::sat::DecisionStrategyProto::set_variables ( int index,
::int32_t value )
inline

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

◆ Swap()

void operations_research::sat::DecisionStrategyProto::Swap ( DecisionStrategyProto *PROTOBUF_NONNULL other)
inline

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

◆ unknown_fields()

const ::google::protobuf::UnknownFieldSet & operations_research::sat::DecisionStrategyProto::unknown_fields ( ) const
inline

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

◆ UnsafeArenaSwap()

void operations_research::sat::DecisionStrategyProto::UnsafeArenaSwap ( DecisionStrategyProto *PROTOBUF_NONNULL other)
inline

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

◆ variable_selection_strategy()

operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::variable_selection_strategy ( ) const
inline

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

◆ variables() [1/2]

const::google::protobuf::RepeatedField<::int32_t > & operations_research::sat::DecisionStrategyProto::variables ( ) const
inline

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

◆ variables() [2/2]

int32_t operations_research::sat::DecisionStrategyProto::variables ( int index) const
inline

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

◆ variables_size()

int operations_research::sat::DecisionStrategyProto::variables_size ( ) const
inline

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

◆ VariableSelectionStrategy_descriptor()

const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_descriptor ( )
inlinestatic

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

◆ VariableSelectionStrategy_IsValid()

bool operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_IsValid ( int value)
inlinestatic

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

◆ VariableSelectionStrategy_Name()

template<typename T>
const ::std::string & operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_Name ( T value)
inlinestatic

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

◆ VariableSelectionStrategy_Parse()

bool operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_Parse ( ::absl::string_view name,
VariableSelectionStrategy *PROTOBUF_NONNULL value )
inlinestatic

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

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena
friend

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

◆ ::google::protobuf::Arena::InternalHelper

template<typename T>
friend class ::google::protobuf::Arena::InternalHelper
friend

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

◆ ::google::protobuf::internal::TcParser

friend class ::google::protobuf::internal::TcParser
friend

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

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite
friend

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

◆ ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto
friend

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

◆ swap

void swap ( DecisionStrategyProto & a,
DecisionStrategyProto & b )
friend

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::DecisionStrategyProto::_impl_

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

◆ CHOOSE_FIRST

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::CHOOSE_FIRST = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST
staticconstexpr

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

◆ CHOOSE_HIGHEST_MAX

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::CHOOSE_HIGHEST_MAX = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_HIGHEST_MAX
staticconstexpr

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

◆ CHOOSE_LOWEST_MIN

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::CHOOSE_LOWEST_MIN = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_LOWEST_MIN
staticconstexpr

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

◆ CHOOSE_MAX_DOMAIN_SIZE

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::CHOOSE_MAX_DOMAIN_SIZE = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE
staticconstexpr

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

◆ CHOOSE_MIN_DOMAIN_SIZE

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::CHOOSE_MIN_DOMAIN_SIZE = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MIN_DOMAIN_SIZE
staticconstexpr

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

◆ DomainReductionStrategy_ARRAYSIZE

int operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_ARRAYSIZE = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE
staticconstexpr

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

◆ DomainReductionStrategy_MAX

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_MAX = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX
staticconstexpr

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

◆ DomainReductionStrategy_MIN

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::DomainReductionStrategy_MIN = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN
staticconstexpr

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

◆ kIndexInFileMessages

int operations_research::sat::DecisionStrategyProto::kIndexInFileMessages = 22
staticconstexpr

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

◆ SELECT_LOWER_HALF

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::SELECT_LOWER_HALF = DecisionStrategyProto_DomainReductionStrategy_SELECT_LOWER_HALF
staticconstexpr

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

◆ SELECT_MAX_VALUE

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::SELECT_MAX_VALUE = DecisionStrategyProto_DomainReductionStrategy_SELECT_MAX_VALUE
staticconstexpr

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

◆ SELECT_MEDIAN_VALUE

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::SELECT_MEDIAN_VALUE = DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE
staticconstexpr

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

◆ SELECT_MIN_VALUE

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::SELECT_MIN_VALUE = DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE
staticconstexpr

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

◆ SELECT_RANDOM_HALF

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::SELECT_RANDOM_HALF = DecisionStrategyProto_DomainReductionStrategy_SELECT_RANDOM_HALF
staticconstexpr

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

◆ SELECT_UPPER_HALF

DomainReductionStrategy operations_research::sat::DecisionStrategyProto::SELECT_UPPER_HALF = DecisionStrategyProto_DomainReductionStrategy_SELECT_UPPER_HALF
staticconstexpr

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

◆ VariableSelectionStrategy_ARRAYSIZE

int operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_ARRAYSIZE = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE
staticconstexpr

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

◆ VariableSelectionStrategy_MAX

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_MAX = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX
staticconstexpr

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

◆ VariableSelectionStrategy_MIN

VariableSelectionStrategy operations_research::sat::DecisionStrategyProto::VariableSelectionStrategy_MIN = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN
staticconstexpr

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


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