Detailed Description

Definition at line 7227 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 }

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
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
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 ()
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

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

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 7394 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 7282 of file cp_model.pb.h.

Constructor & Destructor Documentation

◆ ConstraintProto() [1/5]

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

inline

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

◆ ~ConstraintProto()

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

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

◆ ConstraintProto() [2/5]

template<typename = void>

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

explicit

◆ ConstraintProto() [3/5]

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

inline

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

◆ ConstraintProto() [4/5]

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

inlinenoexcept

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

◆ ConstraintProto() [5/5]

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

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

◆ add_enforcement_literal()

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

inline

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

◆ all_diff()

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

inline

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

◆ at_most_one()

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

inline

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

◆ automaton()

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

inline

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

◆ bool_and()

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

inline

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

◆ bool_or()

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

inline

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

◆ bool_xor()

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

inline

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

◆ ByteSizeLong()

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

final

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

◆ circuit()

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

inline

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

◆ Clear()

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

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

◆ clear_all_diff()

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

inline

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

◆ clear_at_most_one()

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

inline

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

◆ clear_automaton()

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

inline

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

◆ clear_bool_and()

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

inline

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

◆ clear_bool_or()

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

inline

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

◆ clear_bool_xor()

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

inline

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

◆ clear_circuit()

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

inline

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

◆ clear_constraint()

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

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

◆ clear_cumulative()

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

inline

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

◆ clear_dummy_constraint()

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

inline

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

◆ clear_element()

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

inline

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

◆ clear_enforcement_literal()

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

inline

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

◆ clear_exactly_one()

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

inline

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

◆ clear_int_div()

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

inline

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

◆ clear_int_mod()

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

inline

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

◆ clear_int_prod()

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

inline

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

◆ clear_interval()

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

inline

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

◆ clear_inverse()

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

inline

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

◆ clear_lin_max()

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

inline

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

◆ clear_linear()

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

inline

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

◆ clear_name()

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

inline

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

◆ clear_no_overlap()

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

inline

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

◆ clear_no_overlap_2d()

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

inline

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

◆ clear_reservoir()

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

inline

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

◆ clear_routes()

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

inline

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

◆ clear_table()

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

inline

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

◆ constraint_case()

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

inline

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

◆ CopyFrom()

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

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

◆ cumulative()

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

inline

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

◆ default_instance()

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

inlinestatic

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

◆ descriptor()

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

inlinestatic

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

◆ dummy_constraint()

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

inline

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

◆ element()

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

inline

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

◆ enforcement_literal() [1/2]

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

inline

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

◆ enforcement_literal() [2/2]

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

inline

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

◆ enforcement_literal_size()

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

inline

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

◆ exactly_one()

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

inline

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

◆ GetCachedSize()

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

inline

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

◆ GetDescriptor()

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

inlinestatic

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

inlinestatic

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

◆ has_all_diff()

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

inline

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

◆ has_at_most_one()

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

inline

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

◆ has_automaton()

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

inline

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

◆ has_bool_and()

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

inline

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

◆ has_bool_or()

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

inline

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

◆ has_bool_xor()

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

inline

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

◆ has_circuit()

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

inline

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

◆ has_cumulative()

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

inline

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

◆ has_dummy_constraint()

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

inline

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

◆ has_element()

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

inline

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

◆ has_exactly_one()

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

inline

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

◆ has_int_div()

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

inline

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

◆ has_int_mod()

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

inline

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

◆ has_int_prod()

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

inline

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

◆ has_interval()

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

inline

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

◆ has_inverse()

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

inline

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

◆ has_lin_max()

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

inline

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

◆ has_linear()

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

inline

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

◆ has_no_overlap()

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

inline

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

◆ has_no_overlap_2d()

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

inline

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

◆ has_reservoir()

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

inline

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

◆ has_routes()

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

inline

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

◆ has_table()

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

inline

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

◆ int_div()

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

inline

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

◆ int_mod()

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

inline

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

◆ int_prod()

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

inline

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

◆ InternalGenerateClassData_()

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

staticconstexpr

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

◆ interval()

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

inline

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

◆ inverse()

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

inline

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

◆ IsInitialized()

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

inline

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

◆ lin_max()

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

inline

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

◆ linear()

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

inline

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

◆ MergeFrom()

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

inline

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

◆ mutable_all_diff()

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

inline

Definition at line 12467 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

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

◆ mutable_automaton()

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

inline

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

◆ mutable_bool_and()

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

inline

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

◆ mutable_bool_or()

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

inline

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

◆ mutable_bool_xor()

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

inline

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

◆ mutable_circuit()

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

inline

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

◆ mutable_cumulative()

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

inline

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

◆ mutable_dummy_constraint()

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

inline

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

◆ mutable_element()

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

inline

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

◆ mutable_enforcement_literal()

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

inline

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

◆ mutable_exactly_one()

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

inline

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

◆ mutable_int_div()

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

inline

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

◆ mutable_int_mod()

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

inline

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

◆ mutable_int_prod()

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

inline

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

◆ mutable_interval()

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

inline

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

◆ mutable_inverse()

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

inline

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

◆ mutable_lin_max()

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

inline

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

◆ mutable_linear()

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

inline

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

◆ mutable_name()

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

inline

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

◆ mutable_no_overlap()

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

inline

Definition at line 13205 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

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

◆ mutable_reservoir()

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

inline

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

◆ mutable_routes()

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

inline

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

◆ mutable_table()

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

inline

Definition at line 12795 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 7264 of file cp_model.pb.h.

◆ name()

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

inline

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

◆ New()

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

inline

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

◆ no_overlap()

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

inline

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

◆ no_overlap_2d()

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

inline

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

◆ operator=() [1/2]

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

inline

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

◆ operator=() [2/2]

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

inlinenoexcept

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

◆ release_all_diff()

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

inlinenodiscard

Definition at line 12413 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

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

◆ release_automaton()

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

inlinenodiscard

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

◆ release_bool_and()

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

inlinenodiscard

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

◆ release_bool_or()

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

inlinenodiscard

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

◆ release_bool_xor()

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

inlinenodiscard

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

◆ release_circuit()

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

inlinenodiscard

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

◆ release_cumulative()

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

inlinenodiscard

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

◆ release_dummy_constraint()

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

inlinenodiscard

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

◆ release_element()

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

inlinenodiscard

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

◆ release_exactly_one()

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

inlinenodiscard

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

◆ release_int_div()

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

inlinenodiscard

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

◆ release_int_mod()

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

inlinenodiscard

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

◆ release_int_prod()

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

inlinenodiscard

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

◆ release_interval()

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

inlinenodiscard

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

◆ release_inverse()

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

inlinenodiscard

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

◆ release_lin_max()

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

inlinenodiscard

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

◆ release_linear()

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

inlinenodiscard

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

◆ release_name()

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

inlinenodiscard

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

◆ release_no_overlap()

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

inlinenodiscard

Definition at line 13151 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

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

◆ release_reservoir()

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

inlinenodiscard

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

◆ release_routes()

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

inlinenodiscard

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

◆ release_table()

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

inlinenodiscard

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

◆ reservoir()

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

inline

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

◆ routes()

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

inline

Definition at line 12677 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 )

Definition at line 8569 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 )

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

◆ set_allocated_automaton()

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

Definition at line 8634 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 )

Definition at line 8452 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 )

Definition at line 8439 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 )

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

◆ set_allocated_circuit()

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

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

◆ set_allocated_cumulative()

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

Definition at line 8712 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 )

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

◆ set_allocated_element()

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

Definition at line 8582 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 )

Definition at line 8478 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 )

Definition at line 8504 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 )

Definition at line 8517 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 )

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

◆ set_allocated_interval()

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

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

◆ set_allocated_inverse()

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

Definition at line 8647 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 )

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

◆ set_allocated_linear()

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

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

◆ set_allocated_name()

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

inline

Definition at line 11508 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 )

Definition at line 8686 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 )

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

◆ set_allocated_reservoir()

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

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

◆ set_allocated_routes()

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

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

◆ set_allocated_table()

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

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

◆ set_enforcement_literal()

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

inline

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

◆ set_name() [1/2]

template<typename Arg_, typename... Args_>

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

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

◆ set_name() [2/2]

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

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

◆ Swap()

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

inline

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

◆ table()

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

inline

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

◆ unknown_fields()

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

inline

Definition at line 7260 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

Definition at line 12435 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

Definition at line 11779 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

Definition at line 12845 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

Definition at line 11697 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

Definition at line 11615 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

Definition at line 11943 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

Definition at line 12599 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

Definition at line 13337 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

Definition at line 13419 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

Definition at line 12517 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

Definition at line 11861 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

Definition at line 12025 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

Definition at line 12107 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

Definition at line 12189 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

Definition at line 13091 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

Definition at line 12927 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

Definition at line 12271 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

Definition at line 12353 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

Definition at line 13173 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

Definition at line 13255 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

Definition at line 13009 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

Definition at line 12681 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

Definition at line 12763 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

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

◆ unsafe_arena_set_allocated_at_most_one()

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

inline

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

◆ unsafe_arena_set_allocated_automaton()

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

inline

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

◆ unsafe_arena_set_allocated_bool_and()

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

inline

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

◆ unsafe_arena_set_allocated_bool_or()

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

inline

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

◆ unsafe_arena_set_allocated_bool_xor()

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

inline

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

◆ unsafe_arena_set_allocated_circuit()

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

inline

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

◆ unsafe_arena_set_allocated_cumulative()

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

inline

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

◆ unsafe_arena_set_allocated_dummy_constraint()

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

inline

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

◆ unsafe_arena_set_allocated_element()

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

inline

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

◆ unsafe_arena_set_allocated_exactly_one()

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

inline

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

◆ unsafe_arena_set_allocated_int_div()

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

inline

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

◆ unsafe_arena_set_allocated_int_mod()

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

inline

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

◆ unsafe_arena_set_allocated_int_prod()

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

inline

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

◆ unsafe_arena_set_allocated_interval()

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

inline

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

◆ unsafe_arena_set_allocated_inverse()

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

inline

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

◆ unsafe_arena_set_allocated_lin_max()

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

inline

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

◆ unsafe_arena_set_allocated_linear()

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

inline

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

◆ unsafe_arena_set_allocated_no_overlap()

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

inline

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

◆ unsafe_arena_set_allocated_no_overlap_2d()

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

inline

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

◆ unsafe_arena_set_allocated_reservoir()

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

inline

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

◆ unsafe_arena_set_allocated_routes()

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

inline

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

◆ unsafe_arena_set_allocated_table()

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

inline

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

◆ UnsafeArenaSwap()

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

inline

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

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena

friend

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

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

template<typename T>

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

friend

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

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

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

friend

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

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite

friend

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

◆ ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend struct ::TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto

friend

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

◆ swap

void swap	(	ConstraintProto &	a,
		ConstraintProto &	b )

friend

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::ConstraintProto::_impl_

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

◆ kIndexInFileMessages

int operations_research::sat::ConstraintProto::kIndexInFileMessages = 19

staticconstexpr

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

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

build/ortools/sat/cp_model.pb.h
build/ortools/sat/cp_model.pb.cc

Detailed Description

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Friends

Member Enumeration Documentation

◆ anonymous enum

◆ ConstraintCase

Constructor & Destructor Documentation

◆ ConstraintProto() [1/5]

◆ ~ConstraintProto()

◆ ConstraintProto() [2/5]

◆ ConstraintProto() [3/5]

◆ ConstraintProto() [4/5]

◆ ConstraintProto() [5/5]

Member Function Documentation

◆ _InternalSerialize()

◆ add_enforcement_literal()

◆ all_diff()

◆ at_most_one()

◆ automaton()

◆ bool_and()

◆ bool_or()

◆ bool_xor()

◆ ByteSizeLong()

◆ circuit()

◆ Clear()

◆ clear_all_diff()

◆ clear_at_most_one()

◆ clear_automaton()

◆ clear_bool_and()

◆ clear_bool_or()

◆ clear_bool_xor()

◆ clear_circuit()

◆ clear_constraint()

◆ clear_cumulative()

◆ clear_dummy_constraint()

◆ clear_element()

◆ clear_enforcement_literal()

◆ clear_exactly_one()

◆ clear_int_div()

◆ clear_int_mod()

◆ clear_int_prod()

◆ clear_interval()

◆ clear_inverse()

◆ clear_lin_max()

◆ clear_linear()

◆ clear_name()

◆ clear_no_overlap()

◆ clear_no_overlap_2d()

◆ clear_reservoir()

◆ clear_routes()

◆ clear_table()

◆ constraint_case()

◆ CopyFrom()

◆ cumulative()

◆ default_instance()

◆ descriptor()

◆ dummy_constraint()

◆ element()

◆ enforcement_literal() [1/2]

◆ enforcement_literal() [2/2]

◆ enforcement_literal_size()

◆ exactly_one()

◆ GetCachedSize()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ has_all_diff()

◆ has_at_most_one()

◆ has_automaton()

◆ has_bool_and()

◆ has_bool_or()

◆ has_bool_xor()

◆ has_circuit()

◆ has_cumulative()

◆ has_dummy_constraint()

◆ has_element()