Detailed Description

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

#include <cp_model.pb.h>

Inheritance diagram for operations_research::sat::ConstraintProto:

Classes
class	_Internal

Public Types
enum	ConstraintCase { kBoolOr = 3 , kBoolAnd = 4 , kAtMostOne = 26 , kExactlyOne = 29 , kBoolXor = 5 , kIntDiv = 7 , kIntMod = 8 , kIntProd = 11 , kLinMax = 27 , kLinear = 12 , kAllDiff = 13 , kElement = 14 , kCircuit = 15 , kRoutes = 23 , kTable = 16 , kAutomaton = 17 , kInverse = 18 , kReservoir = 24 , kInterval = 19 , kNoOverlap = 20 , kNoOverlap2D = 21 , kCumulative = 22 , kDummyConstraint = 30 , CONSTRAINT_NOT_SET = 0 }
enum	: int { kEnforcementLiteralFieldNumber = 2 , kNameFieldNumber = 1 , kBoolOrFieldNumber = 3 , kBoolAndFieldNumber = 4 , kAtMostOneFieldNumber = 26 , kExactlyOneFieldNumber = 29 , kBoolXorFieldNumber = 5 , kIntDivFieldNumber = 7 , kIntModFieldNumber = 8 , kIntProdFieldNumber = 11 , kLinMaxFieldNumber = 27 , kLinearFieldNumber = 12 , kAllDiffFieldNumber = 13 , kElementFieldNumber = 14 , kCircuitFieldNumber = 15 , kRoutesFieldNumber = 23 , kTableFieldNumber = 16 , kAutomatonFieldNumber = 17 , kInverseFieldNumber = 18 , kReservoirFieldNumber = 24 , kIntervalFieldNumber = 19 , kNoOverlapFieldNumber = 20 , kNoOverlap2DFieldNumber = 21 , kCumulativeFieldNumber = 22 , kDummyConstraintFieldNumber = 30 }
	nested types -------------------------------------------------— More...

Public Member Functions
	ConstraintProto ()
	~ConstraintProto () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR	ConstraintProto (::google::protobuf::internal::ConstantInitialized)
	ConstraintProto (const ConstraintProto &from)
	ConstraintProto (ConstraintProto &&from) noexcept
ConstraintProto &	operator= (const ConstraintProto &from)
ConstraintProto &	operator= (ConstraintProto &&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 (ConstraintProto *PROTOBUF_NONNULL other)
void	UnsafeArenaSwap (ConstraintProto *PROTOBUF_NONNULL other)
ConstraintProto *PROTOBUF_NONNULL	New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
	implements Message -------------------------------------------—
void	CopyFrom (const ConstraintProto &from)
void	MergeFrom (const ConstraintProto &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	enforcement_literal_size () const
	repeated int32 enforcement_literal = 2;
void	clear_enforcement_literal ()
::int32_t	enforcement_literal (int index) const
void	set_enforcement_literal (int index, ::int32_t value)
void	add_enforcement_literal (::int32_t value)
const ::google::protobuf::RepeatedField<::int32_t > &	enforcement_literal () const
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL	mutable_enforcement_literal ()
void	clear_name ()
	string name = 1;
const ::std::string &	name () const
template<typename Arg_ = const ::std::string&, typename... Args_>
void	set_name (Arg_ &&arg, Args_... args)
::std::string *PROTOBUF_NONNULL	mutable_name ()
::std::string *PROTOBUF_NULLABLE	release_name ()
void	set_allocated_name (::std::string *PROTOBUF_NULLABLE value)
bool	has_bool_or () const
	.operations_research.sat.BoolArgumentProto bool_or = 3;
void	clear_bool_or ()
const ::operations_research::sat::BoolArgumentProto &	bool_or () const
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	release_bool_or ()
::operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL	mutable_bool_or ()
void	set_allocated_bool_or (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_bool_or (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_bool_or ()
bool	has_bool_and () const
	.operations_research.sat.BoolArgumentProto bool_and = 4;
void	clear_bool_and ()
const ::operations_research::sat::BoolArgumentProto &	bool_and () const
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	release_bool_and ()
::operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL	mutable_bool_and ()
void	set_allocated_bool_and (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_bool_and (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_bool_and ()
bool	has_at_most_one () const
	.operations_research.sat.BoolArgumentProto at_most_one = 26;
void	clear_at_most_one ()
const ::operations_research::sat::BoolArgumentProto &	at_most_one () const
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	release_at_most_one ()
::operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL	mutable_at_most_one ()
void	set_allocated_at_most_one (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_at_most_one (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_at_most_one ()
bool	has_exactly_one () const
	.operations_research.sat.BoolArgumentProto exactly_one = 29;
void	clear_exactly_one ()
const ::operations_research::sat::BoolArgumentProto &	exactly_one () const
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	release_exactly_one ()
::operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL	mutable_exactly_one ()
void	set_allocated_exactly_one (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_exactly_one (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_exactly_one ()
bool	has_bool_xor () const
	.operations_research.sat.BoolArgumentProto bool_xor = 5;
void	clear_bool_xor ()
const ::operations_research::sat::BoolArgumentProto &	bool_xor () const
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	release_bool_xor ()
::operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL	mutable_bool_xor ()
void	set_allocated_bool_xor (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_bool_xor (::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_bool_xor ()
bool	has_int_div () const
	.operations_research.sat.LinearArgumentProto int_div = 7;
void	clear_int_div ()
const ::operations_research::sat::LinearArgumentProto &	int_div () const
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	release_int_div ()
::operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL	mutable_int_div ()
void	set_allocated_int_div (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_int_div (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_int_div ()
bool	has_int_mod () const
	.operations_research.sat.LinearArgumentProto int_mod = 8;
void	clear_int_mod ()
const ::operations_research::sat::LinearArgumentProto &	int_mod () const
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	release_int_mod ()
::operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL	mutable_int_mod ()
void	set_allocated_int_mod (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_int_mod (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_int_mod ()
bool	has_int_prod () const
	.operations_research.sat.LinearArgumentProto int_prod = 11;
void	clear_int_prod ()
const ::operations_research::sat::LinearArgumentProto &	int_prod () const
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	release_int_prod ()
::operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL	mutable_int_prod ()
void	set_allocated_int_prod (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_int_prod (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_int_prod ()
bool	has_lin_max () const
	.operations_research.sat.LinearArgumentProto lin_max = 27;
void	clear_lin_max ()
const ::operations_research::sat::LinearArgumentProto &	lin_max () const
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	release_lin_max ()
::operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL	mutable_lin_max ()
void	set_allocated_lin_max (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_lin_max (::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE	unsafe_arena_release_lin_max ()
bool	has_linear () const
	.operations_research.sat.LinearConstraintProto linear = 12;
void	clear_linear ()
const ::operations_research::sat::LinearConstraintProto &	linear () const
::operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE	release_linear ()
::operations_research::sat::LinearConstraintProto *PROTOBUF_NONNULL	mutable_linear ()
void	set_allocated_linear (::operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_linear (::operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_linear ()
bool	has_all_diff () const
	.operations_research.sat.AllDifferentConstraintProto all_diff = 13;
void	clear_all_diff ()
const ::operations_research::sat::AllDifferentConstraintProto &	all_diff () const
::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE	release_all_diff ()
::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NONNULL	mutable_all_diff ()
void	set_allocated_all_diff (::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_all_diff (::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_all_diff ()
bool	has_element () const
	.operations_research.sat.ElementConstraintProto element = 14;
void	clear_element ()
const ::operations_research::sat::ElementConstraintProto &	element () const
::operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE	release_element ()
::operations_research::sat::ElementConstraintProto *PROTOBUF_NONNULL	mutable_element ()
void	set_allocated_element (::operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_element (::operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_element ()
bool	has_circuit () const
	.operations_research.sat.CircuitConstraintProto circuit = 15;
void	clear_circuit ()
const ::operations_research::sat::CircuitConstraintProto &	circuit () const
::operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE	release_circuit ()
::operations_research::sat::CircuitConstraintProto *PROTOBUF_NONNULL	mutable_circuit ()
void	set_allocated_circuit (::operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_circuit (::operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_circuit ()
bool	has_routes () const
	.operations_research.sat.RoutesConstraintProto routes = 23;
void	clear_routes ()
const ::operations_research::sat::RoutesConstraintProto &	routes () const
::operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE	release_routes ()
::operations_research::sat::RoutesConstraintProto *PROTOBUF_NONNULL	mutable_routes ()
void	set_allocated_routes (::operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_routes (::operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_routes ()
bool	has_table () const
	.operations_research.sat.TableConstraintProto table = 16;
void	clear_table ()
const ::operations_research::sat::TableConstraintProto &	table () const
::operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE	release_table ()
::operations_research::sat::TableConstraintProto *PROTOBUF_NONNULL	mutable_table ()
void	set_allocated_table (::operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_table (::operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_table ()
bool	has_automaton () const
	.operations_research.sat.AutomatonConstraintProto automaton = 17;
void	clear_automaton ()
const ::operations_research::sat::AutomatonConstraintProto &	automaton () const
::operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE	release_automaton ()
::operations_research::sat::AutomatonConstraintProto *PROTOBUF_NONNULL	mutable_automaton ()
void	set_allocated_automaton (::operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_automaton (::operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_automaton ()
bool	has_inverse () const
	.operations_research.sat.InverseConstraintProto inverse = 18;
void	clear_inverse ()
const ::operations_research::sat::InverseConstraintProto &	inverse () const
::operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE	release_inverse ()
::operations_research::sat::InverseConstraintProto *PROTOBUF_NONNULL	mutable_inverse ()
void	set_allocated_inverse (::operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_inverse (::operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_inverse ()
bool	has_reservoir () const
	.operations_research.sat.ReservoirConstraintProto reservoir = 24;
void	clear_reservoir ()
const ::operations_research::sat::ReservoirConstraintProto &	reservoir () const
::operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE	release_reservoir ()
::operations_research::sat::ReservoirConstraintProto *PROTOBUF_NONNULL	mutable_reservoir ()
void	set_allocated_reservoir (::operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_reservoir (::operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_reservoir ()
bool	has_interval () const
	.operations_research.sat.IntervalConstraintProto interval = 19;
void	clear_interval ()
const ::operations_research::sat::IntervalConstraintProto &	interval () const
::operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE	release_interval ()
::operations_research::sat::IntervalConstraintProto *PROTOBUF_NONNULL	mutable_interval ()
void	set_allocated_interval (::operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_interval (::operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_interval ()
bool	has_no_overlap () const
	.operations_research.sat.NoOverlapConstraintProto no_overlap = 20;
void	clear_no_overlap ()
const ::operations_research::sat::NoOverlapConstraintProto &	no_overlap () const
::operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE	release_no_overlap ()
::operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NONNULL	mutable_no_overlap ()
void	set_allocated_no_overlap (::operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_no_overlap (::operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_no_overlap ()
bool	has_no_overlap_2d () const
	.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;
void	clear_no_overlap_2d ()
const ::operations_research::sat::NoOverlap2DConstraintProto &	no_overlap_2d () const
::operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE	release_no_overlap_2d ()
::operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NONNULL	mutable_no_overlap_2d ()
void	set_allocated_no_overlap_2d (::operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_no_overlap_2d (::operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_no_overlap_2d ()
bool	has_cumulative () const
	.operations_research.sat.CumulativeConstraintProto cumulative = 22;
void	clear_cumulative ()
const ::operations_research::sat::CumulativeConstraintProto &	cumulative () const
::operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE	release_cumulative ()
::operations_research::sat::CumulativeConstraintProto *PROTOBUF_NONNULL	mutable_cumulative ()
void	set_allocated_cumulative (::operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_cumulative (::operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE value)
::operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE	unsafe_arena_release_cumulative ()
bool	has_dummy_constraint () const
	.operations_research.sat.ListOfVariablesProto dummy_constraint = 30;
void	clear_dummy_constraint ()
const ::operations_research::sat::ListOfVariablesProto &	dummy_constraint () const
::operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE	release_dummy_constraint ()
::operations_research::sat::ListOfVariablesProto *PROTOBUF_NONNULL	mutable_dummy_constraint ()
void	set_allocated_dummy_constraint (::operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_dummy_constraint (::operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE value)
::operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE	unsafe_arena_release_dummy_constraint ()
void	clear_constraint ()
ConstraintCase	constraint_case () const
template<typename>
PROTOBUF_CONSTEXPR	ConstraintProto (::_pbi::ConstantInitialized)
template<typename Arg_, typename... Args_>
PROTOBUF_ALWAYS_INLINE void	set_name (Arg_ &&arg, Args_... args)

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 ConstraintProto &	default_instance ()
static constexpr auto	InternalGenerateClassData_ ()

Static Public Attributes
static constexpr int	kIndexInFileMessages = 19

Protected Member Functions
	ConstraintProto (::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
	ConstraintProto (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, const ConstraintProto &from)
	ConstraintProto (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, ConstraintProto &&from) noexcept
const ::google::protobuf::internal::ClassData *PROTOBUF_NONNULL	GetClassData () const PROTOBUF_FINAL

Static Protected Member Functions
static void *PROTOBUF_NONNULL	PlacementNew_ (const void PROTOBUF_NONNULL, void PROTOBUF_NONNULL mem, ::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
static constexpr auto	InternalNewImpl_ ()

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 (ConstraintProto &a, ConstraintProto &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int

nested types -------------------------------------------------—

accessors ----------------------------------------------------—

Enumerator
kEnforcementLiteralFieldNumber
kNameFieldNumber
kBoolOrFieldNumber
kBoolAndFieldNumber
kAtMostOneFieldNumber
kExactlyOneFieldNumber
kBoolXorFieldNumber
kIntDivFieldNumber
kIntModFieldNumber
kIntProdFieldNumber
kLinMaxFieldNumber
kLinearFieldNumber
kAllDiffFieldNumber
kElementFieldNumber
kCircuitFieldNumber
kRoutesFieldNumber
kTableFieldNumber
kAutomatonFieldNumber
kInverseFieldNumber
kReservoirFieldNumber
kIntervalFieldNumber
kNoOverlapFieldNumber
kNoOverlap2DFieldNumber
kCumulativeFieldNumber
kDummyConstraintFieldNumber

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

◆ ConstraintCase

enum operations_research::sat::ConstraintProto::ConstraintCase

Enumerator
kBoolOr
kBoolAnd
kAtMostOne
kExactlyOne
kBoolXor
kIntDiv
kIntMod
kIntProd
kLinMax
kLinear
kAllDiff
kElement
kCircuit
kRoutes
kTable
kAutomaton
kInverse
kReservoir
kInterval
kNoOverlap
kNoOverlap2D
kCumulative
kDummyConstraint
CONSTRAINT_NOT_SET

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

Constructor & Destructor Documentation

◆ ConstraintProto() [1/8]

operations_research::sat::ConstraintProto::ConstraintProto ( )

inline

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

◆ ~ConstraintProto()

operations_research::sat::ConstraintProto::~ConstraintProto ( )

@protoc_insertion_point(destructor:operations_research.sat.ConstraintProto)

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

◆ ConstraintProto() [2/8]

template<typename = void>

PROTOBUF_CONSTEXPR operations_research::sat::ConstraintProto::ConstraintProto ( ::google::protobuf::internal::ConstantInitialized )

explicit

◆ ConstraintProto() [3/8]

operations_research::sat::ConstraintProto::ConstraintProto ( const ConstraintProto & from )

inline

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

◆ ConstraintProto() [4/8]

operations_research::sat::ConstraintProto::ConstraintProto ( ConstraintProto && from )

inlinenoexcept

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

◆ ConstraintProto() [5/8]

operations_research::sat::ConstraintProto::ConstraintProto ( ::google::protobuf::Arena *PROTOBUF_NULLABLE arena )

explicitprotected

@protoc_insertion_point(arena_constructor:operations_research.sat.ConstraintProto)

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

◆ ConstraintProto() [6/8]

operations_research::sat::ConstraintProto::ConstraintProto	(	::google::protobuf::Arena *PROTOBUF_NULLABLE	arena,
		const ConstraintProto &	from )

protected

@protoc_insertion_point(copy_constructor:operations_research.sat.ConstraintProto)

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

◆ ConstraintProto() [7/8]

operations_research::sat::ConstraintProto::ConstraintProto	(	::google::protobuf::Arena *PROTOBUF_NULLABLE	arena,
		ConstraintProto &&	from )

inlineprotectednoexcept

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

◆ ConstraintProto() [8/8]

template<typename>

PROTOBUF_CONSTEXPR operations_research::sat::ConstraintProto::ConstraintProto ( ::_pbi::ConstantInitialized )

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

Member Function Documentation

◆ _InternalSerialize()

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

final

@protoc_insertion_point(serialize_to_array_start:operations_research.sat.ConstraintProto)

string name = 1;

repeated int32 enforcement_literal = 2;

@protoc_insertion_point(serialize_to_array_end:operations_research.sat.ConstraintProto)

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

◆ add_enforcement_literal()

void operations_research::sat::ConstraintProto::add_enforcement_literal ( ::int32_t value )

inline

@protoc_insertion_point(field_add:operations_research.sat.ConstraintProto.enforcement_literal)

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

◆ all_diff()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.all_diff)

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

◆ at_most_one()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.at_most_one)

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

◆ automaton()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.automaton)

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

◆ bool_and()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.bool_and)

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

◆ bool_or()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.bool_or)

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

◆ bool_xor()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.bool_xor)

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

◆ ByteSizeLong()

size_t operations_research::sat::ConstraintProto::ByteSizeLong ( ) const

final

@protoc_insertion_point(message_byte_size_start:operations_research.sat.ConstraintProto)

Prevent compiler warnings about cached_has_bits being unused

repeated int32 enforcement_literal = 2;

string name = 1;

.operations_research.sat.BoolArgumentProto bool_or = 3;

.operations_research.sat.BoolArgumentProto bool_and = 4;

.operations_research.sat.BoolArgumentProto at_most_one = 26;

.operations_research.sat.BoolArgumentProto exactly_one = 29;

.operations_research.sat.BoolArgumentProto bool_xor = 5;

.operations_research.sat.LinearArgumentProto int_div = 7;

.operations_research.sat.LinearArgumentProto int_mod = 8;

.operations_research.sat.LinearArgumentProto int_prod = 11;

.operations_research.sat.LinearArgumentProto lin_max = 27;

.operations_research.sat.LinearConstraintProto linear = 12;

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

.operations_research.sat.ElementConstraintProto element = 14;

.operations_research.sat.CircuitConstraintProto circuit = 15;

.operations_research.sat.RoutesConstraintProto routes = 23;

.operations_research.sat.TableConstraintProto table = 16;

.operations_research.sat.AutomatonConstraintProto automaton = 17;

.operations_research.sat.InverseConstraintProto inverse = 18;

.operations_research.sat.ReservoirConstraintProto reservoir = 24;

.operations_research.sat.IntervalConstraintProto interval = 19;

.operations_research.sat.NoOverlapConstraintProto no_overlap = 20;

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

.operations_research.sat.CumulativeConstraintProto cumulative = 22;

.operations_research.sat.ListOfVariablesProto dummy_constraint = 30;

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

◆ circuit()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.circuit)

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

◆ Clear()

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

@protoc_insertion_point(message_clear_start:operations_research.sat.ConstraintProto)

Prevent compiler warnings about cached_has_bits being unused

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

◆ clear_all_diff()

void operations_research::sat::ConstraintProto::clear_all_diff ( )

inline

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

◆ clear_at_most_one()

void operations_research::sat::ConstraintProto::clear_at_most_one ( )

inline

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

◆ clear_automaton()

void operations_research::sat::ConstraintProto::clear_automaton ( )

inline

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

◆ clear_bool_and()

void operations_research::sat::ConstraintProto::clear_bool_and ( )

inline

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

◆ clear_bool_or()

void operations_research::sat::ConstraintProto::clear_bool_or ( )

inline

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

◆ clear_bool_xor()

void operations_research::sat::ConstraintProto::clear_bool_xor ( )

inline

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

◆ clear_circuit()

void operations_research::sat::ConstraintProto::clear_circuit ( )

inline

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

◆ clear_constraint()

void operations_research::sat::ConstraintProto::clear_constraint ( )

@protoc_insertion_point(one_of_clear_start:operations_research.sat.ConstraintProto)

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

◆ clear_cumulative()

void operations_research::sat::ConstraintProto::clear_cumulative ( )

inline

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

◆ clear_dummy_constraint()

void operations_research::sat::ConstraintProto::clear_dummy_constraint ( )

inline

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

◆ clear_element()

void operations_research::sat::ConstraintProto::clear_element ( )

inline

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

◆ clear_enforcement_literal()

void operations_research::sat::ConstraintProto::clear_enforcement_literal ( )

inline

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

◆ clear_exactly_one()

void operations_research::sat::ConstraintProto::clear_exactly_one ( )

inline

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

◆ clear_int_div()

void operations_research::sat::ConstraintProto::clear_int_div ( )

inline

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

◆ clear_int_mod()

void operations_research::sat::ConstraintProto::clear_int_mod ( )

inline

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

◆ clear_int_prod()

void operations_research::sat::ConstraintProto::clear_int_prod ( )

inline

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

◆ clear_interval()

void operations_research::sat::ConstraintProto::clear_interval ( )

inline

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

◆ clear_inverse()

void operations_research::sat::ConstraintProto::clear_inverse ( )

inline

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

◆ clear_lin_max()

void operations_research::sat::ConstraintProto::clear_lin_max ( )

inline

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

◆ clear_linear()

void operations_research::sat::ConstraintProto::clear_linear ( )

inline

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

◆ clear_name()

void operations_research::sat::ConstraintProto::clear_name ( )

inline

string name = 1;

ConstraintProto.

string name = 1;

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

◆ clear_no_overlap()

void operations_research::sat::ConstraintProto::clear_no_overlap ( )

inline

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

◆ clear_no_overlap_2d()

void operations_research::sat::ConstraintProto::clear_no_overlap_2d ( )

inline

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

◆ clear_reservoir()

void operations_research::sat::ConstraintProto::clear_reservoir ( )

inline

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

◆ clear_routes()

void operations_research::sat::ConstraintProto::clear_routes ( )

inline

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

◆ clear_table()

void operations_research::sat::ConstraintProto::clear_table ( )

inline

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

◆ constraint_case()

ConstraintProto::ConstraintCase operations_research::sat::ConstraintProto::constraint_case ( ) const

inline

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

◆ CopyFrom()

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

@protoc_insertion_point(class_specific_copy_from_start:operations_research.sat.ConstraintProto)

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

◆ cumulative()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.cumulative)

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

◆ default_instance()

const ConstraintProto & operations_research::sat::ConstraintProto::default_instance ( )

inlinestatic

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

◆ descriptor()

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

inlinestatic

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

◆ dummy_constraint()

const::operations_research::sat::ListOfVariablesProto & operations_research::sat::ConstraintProto::dummy_constraint ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.dummy_constraint)

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

◆ element()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.element)

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

◆ enforcement_literal() [1/2]

const::google::protobuf::RepeatedField<::int32_t > & operations_research::sat::ConstraintProto::enforcement_literal ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.ConstraintProto.enforcement_literal)

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

◆ enforcement_literal() [2/2]

int32_t operations_research::sat::ConstraintProto::enforcement_literal ( int index ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.enforcement_literal)

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

◆ enforcement_literal_size()

int operations_research::sat::ConstraintProto::enforcement_literal_size ( ) const

inline

repeated int32 enforcement_literal = 2;

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

◆ exactly_one()

const::operations_research::sat::BoolArgumentProto & operations_research::sat::ConstraintProto::exactly_one ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.exactly_one)

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

◆ GetCachedSize()

int operations_research::sat::ConstraintProto::GetCachedSize ( ) const

inline

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

◆ GetClassData()

PROTOBUF_ATTRIBUTE_WEAKconst::google::protobuf::internal::ClassData *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::GetClassData ( ) const

protected

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

◆ GetDescriptor()

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

inlinestatic

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

inlinestatic

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

◆ has_all_diff()

bool operations_research::sat::ConstraintProto::has_all_diff ( ) const

inline

.operations_research.sat.AllDifferentConstraintProto all_diff = 13;

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

◆ has_at_most_one()

bool operations_research::sat::ConstraintProto::has_at_most_one ( ) const

inline

.operations_research.sat.BoolArgumentProto at_most_one = 26;

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

◆ has_automaton()

bool operations_research::sat::ConstraintProto::has_automaton ( ) const

inline

.operations_research.sat.AutomatonConstraintProto automaton = 17;

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

◆ has_bool_and()

bool operations_research::sat::ConstraintProto::has_bool_and ( ) const

inline

.operations_research.sat.BoolArgumentProto bool_and = 4;

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

◆ has_bool_or()

bool operations_research::sat::ConstraintProto::has_bool_or ( ) const

inline

.operations_research.sat.BoolArgumentProto bool_or = 3;

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

◆ has_bool_xor()

bool operations_research::sat::ConstraintProto::has_bool_xor ( ) const

inline

.operations_research.sat.BoolArgumentProto bool_xor = 5;

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

◆ has_circuit()

bool operations_research::sat::ConstraintProto::has_circuit ( ) const

inline

.operations_research.sat.CircuitConstraintProto circuit = 15;

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

◆ has_cumulative()

bool operations_research::sat::ConstraintProto::has_cumulative ( ) const

inline

.operations_research.sat.CumulativeConstraintProto cumulative = 22;

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

◆ has_dummy_constraint()

bool operations_research::sat::ConstraintProto::has_dummy_constraint ( ) const

inline

.operations_research.sat.ListOfVariablesProto dummy_constraint = 30;

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

◆ has_element()

bool operations_research::sat::ConstraintProto::has_element ( ) const

inline

.operations_research.sat.ElementConstraintProto element = 14;

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

◆ has_exactly_one()

bool operations_research::sat::ConstraintProto::has_exactly_one ( ) const

inline

.operations_research.sat.BoolArgumentProto exactly_one = 29;

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

◆ has_int_div()

bool operations_research::sat::ConstraintProto::has_int_div ( ) const

inline

.operations_research.sat.LinearArgumentProto int_div = 7;

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

◆ has_int_mod()

bool operations_research::sat::ConstraintProto::has_int_mod ( ) const

inline

.operations_research.sat.LinearArgumentProto int_mod = 8;

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

◆ has_int_prod()

bool operations_research::sat::ConstraintProto::has_int_prod ( ) const

inline

.operations_research.sat.LinearArgumentProto int_prod = 11;

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

◆ has_interval()

bool operations_research::sat::ConstraintProto::has_interval ( ) const

inline

.operations_research.sat.IntervalConstraintProto interval = 19;

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

◆ has_inverse()

bool operations_research::sat::ConstraintProto::has_inverse ( ) const

inline

.operations_research.sat.InverseConstraintProto inverse = 18;

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

◆ has_lin_max()

bool operations_research::sat::ConstraintProto::has_lin_max ( ) const

inline

.operations_research.sat.LinearArgumentProto lin_max = 27;

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

◆ has_linear()

bool operations_research::sat::ConstraintProto::has_linear ( ) const

inline

.operations_research.sat.LinearConstraintProto linear = 12;

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

◆ has_no_overlap()

bool operations_research::sat::ConstraintProto::has_no_overlap ( ) const

inline

.operations_research.sat.NoOverlapConstraintProto no_overlap = 20;

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

◆ has_no_overlap_2d()

bool operations_research::sat::ConstraintProto::has_no_overlap_2d ( ) const

inline

.operations_research.sat.NoOverlap2DConstraintProto no_overlap_2d = 21;

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

◆ has_reservoir()

bool operations_research::sat::ConstraintProto::has_reservoir ( ) const

inline

.operations_research.sat.ReservoirConstraintProto reservoir = 24;

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

◆ has_routes()

bool operations_research::sat::ConstraintProto::has_routes ( ) const

inline

.operations_research.sat.RoutesConstraintProto routes = 23;

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

◆ has_table()

bool operations_research::sat::ConstraintProto::has_table ( ) const

inline

.operations_research.sat.TableConstraintProto table = 16;

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

◆ int_div()

const::operations_research::sat::LinearArgumentProto & operations_research::sat::ConstraintProto::int_div ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.int_div)

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

◆ int_mod()

const::operations_research::sat::LinearArgumentProto & operations_research::sat::ConstraintProto::int_mod ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.int_mod)

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

◆ int_prod()

const::operations_research::sat::LinearArgumentProto & operations_research::sat::ConstraintProto::int_prod ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.int_prod)

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

◆ InternalGenerateClassData_()

auto operations_research::sat::ConstraintProto::InternalGenerateClassData_ ( )

staticconstexpr

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

◆ InternalNewImpl_()

auto operations_research::sat::ConstraintProto::InternalNewImpl_ ( )

staticconstexprprotected

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

◆ interval()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.interval)

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

◆ inverse()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.inverse)

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

◆ IsInitialized()

bool operations_research::sat::ConstraintProto::IsInitialized ( ) const

inline

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

◆ lin_max()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.lin_max)

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

◆ linear()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.linear)

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

◆ MergeFrom()

void operations_research::sat::ConstraintProto::MergeFrom ( const ConstraintProto & from )

inline

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

◆ mutable_all_diff()

operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_all_diff ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.all_diff)

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

◆ mutable_at_most_one()

operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_at_most_one ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.at_most_one)

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

◆ mutable_automaton()

operations_research::sat::AutomatonConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_automaton ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.automaton)

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

◆ mutable_bool_and()

operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_bool_and ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.bool_and)

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

◆ mutable_bool_or()

operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_bool_or ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.bool_or)

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

◆ mutable_bool_xor()

operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_bool_xor ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.bool_xor)

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

◆ mutable_circuit()

operations_research::sat::CircuitConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_circuit ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.circuit)

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

◆ mutable_cumulative()

operations_research::sat::CumulativeConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_cumulative ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.cumulative)

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

◆ mutable_dummy_constraint()

operations_research::sat::ListOfVariablesProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_dummy_constraint ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.dummy_constraint)

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

◆ mutable_element()

operations_research::sat::ElementConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_element ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.element)

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

◆ mutable_enforcement_literal()

google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_enforcement_literal ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.ConstraintProto.enforcement_literal)

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

◆ mutable_exactly_one()

operations_research::sat::BoolArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_exactly_one ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.exactly_one)

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

◆ mutable_int_div()

operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_int_div ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.int_div)

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

◆ mutable_int_mod()

operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_int_mod ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.int_mod)

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

◆ mutable_int_prod()

operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_int_prod ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.int_prod)

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

◆ mutable_interval()

operations_research::sat::IntervalConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_interval ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.interval)

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

◆ mutable_inverse()

operations_research::sat::InverseConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_inverse ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.inverse)

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

◆ mutable_lin_max()

operations_research::sat::LinearArgumentProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_lin_max ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.lin_max)

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

◆ mutable_linear()

operations_research::sat::LinearConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_linear ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.linear)

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

◆ mutable_name()

std::string *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_name ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.name)

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

◆ mutable_no_overlap()

operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_no_overlap ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.no_overlap)

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

◆ mutable_no_overlap_2d()

operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_no_overlap_2d ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.no_overlap_2d)

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

◆ mutable_reservoir()

operations_research::sat::ReservoirConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_reservoir ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.reservoir)

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

◆ mutable_routes()

operations_research::sat::RoutesConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_routes ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.routes)

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

◆ mutable_table()

operations_research::sat::TableConstraintProto *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::mutable_table ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.table)

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

◆ mutable_unknown_fields()

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

inline

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

◆ name()

const::std::string & operations_research::sat::ConstraintProto::name ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.name)

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

◆ New()

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

inline

implements Message -------------------------------------------—

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

◆ no_overlap()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.no_overlap)

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

◆ no_overlap_2d()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.no_overlap_2d)

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

◆ operator=() [1/2]

ConstraintProto & operations_research::sat::ConstraintProto::operator= ( const ConstraintProto & from )

inline

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

◆ operator=() [2/2]

ConstraintProto & operations_research::sat::ConstraintProto::operator= ( ConstraintProto && from )

inlinenoexcept

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

◆ PlacementNew_()

void *PROTOBUF_NONNULL operations_research::sat::ConstraintProto::PlacementNew_	(	const void *	PROTOBUF_NONNULL,
		void *PROTOBUF_NONNULL	mem,
		::google::protobuf::Arena *PROTOBUF_NULLABLE	arena )

inlinestaticprotected

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

◆ release_all_diff()

operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_all_diff ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.all_diff)

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

◆ release_at_most_one()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_at_most_one ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.at_most_one)

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

◆ release_automaton()

operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_automaton ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.automaton)

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

◆ release_bool_and()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_bool_and ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.bool_and)

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

◆ release_bool_or()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_bool_or ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.bool_or)

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

◆ release_bool_xor()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_bool_xor ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.bool_xor)

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

◆ release_circuit()

operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_circuit ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.circuit)

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

◆ release_cumulative()

operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_cumulative ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.cumulative)

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

◆ release_dummy_constraint()

operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_dummy_constraint ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.dummy_constraint)

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

◆ release_element()

operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_element ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.element)

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

◆ release_exactly_one()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_exactly_one ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.exactly_one)

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

◆ release_int_div()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_int_div ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.int_div)

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

◆ release_int_mod()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_int_mod ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.int_mod)

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

◆ release_int_prod()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_int_prod ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.int_prod)

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

◆ release_interval()

operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_interval ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.interval)

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

◆ release_inverse()

operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_inverse ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.inverse)

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

◆ release_lin_max()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_lin_max ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.lin_max)

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

◆ release_linear()

operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_linear ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.linear)

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

◆ release_name()

std::string *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_name ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.name)

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

◆ release_no_overlap()

operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_no_overlap ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.no_overlap)

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

◆ release_no_overlap_2d()

operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_no_overlap_2d ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.no_overlap_2d)

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

◆ release_reservoir()

operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_reservoir ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.reservoir)

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

◆ release_routes()

operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_routes ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.routes)

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

◆ release_table()

operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::release_table ( )

inlinenodiscard

@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.table)

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

◆ reservoir()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.reservoir)

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

◆ routes()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.routes)

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

◆ set_allocated_all_diff()

void operations_research::sat::ConstraintProto::set_allocated_all_diff ( ::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.all_diff)

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

◆ set_allocated_at_most_one()

void operations_research::sat::ConstraintProto::set_allocated_at_most_one ( ::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.at_most_one)

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

◆ set_allocated_automaton()

void operations_research::sat::ConstraintProto::set_allocated_automaton ( ::operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.automaton)

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

◆ set_allocated_bool_and()

void operations_research::sat::ConstraintProto::set_allocated_bool_and ( ::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.bool_and)

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

◆ set_allocated_bool_or()

void operations_research::sat::ConstraintProto::set_allocated_bool_or ( ::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.bool_or)

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

◆ set_allocated_bool_xor()

void operations_research::sat::ConstraintProto::set_allocated_bool_xor ( ::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.bool_xor)

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

◆ set_allocated_circuit()

void operations_research::sat::ConstraintProto::set_allocated_circuit ( ::operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.circuit)

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

◆ set_allocated_cumulative()

void operations_research::sat::ConstraintProto::set_allocated_cumulative ( ::operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.cumulative)

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

◆ set_allocated_dummy_constraint()

void operations_research::sat::ConstraintProto::set_allocated_dummy_constraint ( ::operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.dummy_constraint)

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

◆ set_allocated_element()

void operations_research::sat::ConstraintProto::set_allocated_element ( ::operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.element)

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

◆ set_allocated_exactly_one()

void operations_research::sat::ConstraintProto::set_allocated_exactly_one ( ::operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.exactly_one)

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

◆ set_allocated_int_div()

void operations_research::sat::ConstraintProto::set_allocated_int_div ( ::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.int_div)

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

◆ set_allocated_int_mod()

void operations_research::sat::ConstraintProto::set_allocated_int_mod ( ::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.int_mod)

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

◆ set_allocated_int_prod()

void operations_research::sat::ConstraintProto::set_allocated_int_prod ( ::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.int_prod)

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

◆ set_allocated_interval()

void operations_research::sat::ConstraintProto::set_allocated_interval ( ::operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.interval)

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

◆ set_allocated_inverse()

void operations_research::sat::ConstraintProto::set_allocated_inverse ( ::operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.inverse)

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

◆ set_allocated_lin_max()

void operations_research::sat::ConstraintProto::set_allocated_lin_max ( ::operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.lin_max)

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

◆ set_allocated_linear()

void operations_research::sat::ConstraintProto::set_allocated_linear ( ::operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.linear)

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

◆ set_allocated_name()

void operations_research::sat::ConstraintProto::set_allocated_name ( ::std::string *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.name)

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

◆ set_allocated_no_overlap()

void operations_research::sat::ConstraintProto::set_allocated_no_overlap ( ::operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.no_overlap)

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

◆ set_allocated_no_overlap_2d()

void operations_research::sat::ConstraintProto::set_allocated_no_overlap_2d ( ::operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.no_overlap_2d)

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

◆ set_allocated_reservoir()

void operations_research::sat::ConstraintProto::set_allocated_reservoir ( ::operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.reservoir)

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

◆ set_allocated_routes()

void operations_research::sat::ConstraintProto::set_allocated_routes ( ::operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.routes)

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

◆ set_allocated_table()

void operations_research::sat::ConstraintProto::set_allocated_table ( ::operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE value )

@protoc_insertion_point(field_set_allocated:operations_research.sat.ConstraintProto.table)

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

◆ set_enforcement_literal()

void operations_research::sat::ConstraintProto::set_enforcement_literal	(	int	index,
		::int32_t	value )

inline

@protoc_insertion_point(field_set:operations_research.sat.ConstraintProto.enforcement_literal)

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

◆ set_name() [1/2]

template<typename Arg_ = const ::std::string&, typename... Args_>

void operations_research::sat::ConstraintProto::set_name	(	Arg_ &&	arg,
		Args_...	args )

◆ set_name() [2/2]

template<typename Arg_, typename... Args_>

PROTOBUF_ALWAYS_INLINE void operations_research::sat::ConstraintProto::set_name	(	Arg_ &&	arg,
		Args_...	args )

@protoc_insertion_point(field_set:operations_research.sat.ConstraintProto.name)

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

◆ Swap()

void operations_research::sat::ConstraintProto::Swap ( ConstraintProto *PROTOBUF_NONNULL other )

inline

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

◆ table()

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

inline

@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.table)

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

◆ unknown_fields()

const ::google::protobuf::UnknownFieldSet & operations_research::sat::ConstraintProto::unknown_fields ( ) const

inline

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

◆ unsafe_arena_release_all_diff()

operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_all_diff ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.all_diff)

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

◆ unsafe_arena_release_at_most_one()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_at_most_one ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.at_most_one)

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

◆ unsafe_arena_release_automaton()

operations_research::sat::AutomatonConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_automaton ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.automaton)

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

◆ unsafe_arena_release_bool_and()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_bool_and ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.bool_and)

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

◆ unsafe_arena_release_bool_or()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_bool_or ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.bool_or)

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

◆ unsafe_arena_release_bool_xor()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_bool_xor ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.bool_xor)

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

◆ unsafe_arena_release_circuit()

operations_research::sat::CircuitConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_circuit ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.circuit)

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

◆ unsafe_arena_release_cumulative()

operations_research::sat::CumulativeConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_cumulative ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.cumulative)

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

◆ unsafe_arena_release_dummy_constraint()

operations_research::sat::ListOfVariablesProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_dummy_constraint ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.dummy_constraint)

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

◆ unsafe_arena_release_element()

operations_research::sat::ElementConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_element ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.element)

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

◆ unsafe_arena_release_exactly_one()

operations_research::sat::BoolArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_exactly_one ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.exactly_one)

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

◆ unsafe_arena_release_int_div()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_int_div ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_div)

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

◆ unsafe_arena_release_int_mod()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_int_mod ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_mod)

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

◆ unsafe_arena_release_int_prod()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_int_prod ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_prod)

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

◆ unsafe_arena_release_interval()

operations_research::sat::IntervalConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_interval ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.interval)

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

◆ unsafe_arena_release_inverse()

operations_research::sat::InverseConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_inverse ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.inverse)

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

◆ unsafe_arena_release_lin_max()

operations_research::sat::LinearArgumentProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_lin_max ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.lin_max)

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

◆ unsafe_arena_release_linear()

operations_research::sat::LinearConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_linear ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.linear)

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

◆ unsafe_arena_release_no_overlap()

operations_research::sat::NoOverlapConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_no_overlap ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.no_overlap)

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

◆ unsafe_arena_release_no_overlap_2d()

operations_research::sat::NoOverlap2DConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_no_overlap_2d ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.no_overlap_2d)

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

◆ unsafe_arena_release_reservoir()

operations_research::sat::ReservoirConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_reservoir ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.reservoir)

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

◆ unsafe_arena_release_routes()

operations_research::sat::RoutesConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_routes ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.routes)

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

◆ unsafe_arena_release_table()

operations_research::sat::TableConstraintProto *PROTOBUF_NULLABLE operations_research::sat::ConstraintProto::unsafe_arena_release_table ( )

inline

@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.table)

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

◆ unsafe_arena_set_allocated_all_diff()

void operations_research::sat::ConstraintProto::unsafe_arena_set_allocated_all_diff ( ::operations_research::sat::AllDifferentConstraintProto *PROTOBUF_NULLABLE value )

inline