Detailed Description

Definition at line 799 of file boolean_problem.pb.h.

#include <boolean_problem.pb.h>

Inheritance diagram for operations_research::sat::LinearBooleanProblem:

Classes
class	_Internal

Public Types
enum	: int { kConstraintsFieldNumber = 4 , kVarNamesFieldNumber = 6 , kNameFieldNumber = 1 , kObjectiveFieldNumber = 5 , kAssignmentFieldNumber = 7 , kNumVariablesFieldNumber = 3 , kOriginalNumVariablesFieldNumber = 8 }
	nested types -------------------------------------------------— More...

Public Member Functions
	LinearBooleanProblem ()
	~LinearBooleanProblem () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR	LinearBooleanProblem (::google::protobuf::internal::ConstantInitialized)
	LinearBooleanProblem (const LinearBooleanProblem &from)
	LinearBooleanProblem (LinearBooleanProblem &&from) noexcept
LinearBooleanProblem &	operator= (const LinearBooleanProblem &from)
LinearBooleanProblem &	operator= (LinearBooleanProblem &&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 (LinearBooleanProblem *PROTOBUF_NONNULL other)
void	UnsafeArenaSwap (LinearBooleanProblem *PROTOBUF_NONNULL other)
LinearBooleanProblem *PROTOBUF_NONNULL	New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
	implements Message -------------------------------------------—
void	CopyFrom (const LinearBooleanProblem &from)
void	MergeFrom (const LinearBooleanProblem &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	constraints_size () const
	repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;
void	clear_constraints ()
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL	mutable_constraints (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > *PROTOBUF_NONNULL	mutable_constraints ()
const ::operations_research::sat::LinearBooleanConstraint &	constraints (int index) const
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL	add_constraints ()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > &	constraints () const
int	var_names_size () const
	repeated string var_names = 6;
void	clear_var_names ()
const ::std::string &	var_names (int index) const
::std::string *PROTOBUF_NONNULL	mutable_var_names (int index)
template<typename Arg_ = const ::std::string&, typename... Args_>
void	set_var_names (int index, Arg_ &&value, Args_... args)
::std::string *PROTOBUF_NONNULL	add_var_names ()
template<typename Arg_ = const ::std::string&, typename... Args_>
void	add_var_names (Arg_ &&value, Args_... args)
const ::google::protobuf::RepeatedPtrField<::std::string > &	var_names () const
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL	mutable_var_names ()
bool	has_name () const
	optional string name = 1 [default = ""];
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_objective () const
	optional .operations_research.sat.LinearObjective objective = 5;
void	clear_objective ()
const ::operations_research::sat::LinearObjective &	objective () const
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE	release_objective ()
::operations_research::sat::LinearObjective *PROTOBUF_NONNULL	mutable_objective ()
void	set_allocated_objective (::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_objective (::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE	unsafe_arena_release_objective ()
bool	has_assignment () const
	optional .operations_research.sat.BooleanAssignment assignment = 7;
void	clear_assignment ()
const ::operations_research::sat::BooleanAssignment &	assignment () const
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE	release_assignment ()
::operations_research::sat::BooleanAssignment *PROTOBUF_NONNULL	mutable_assignment ()
void	set_allocated_assignment (::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_assignment (::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE	unsafe_arena_release_assignment ()
bool	has_num_variables () const
	optional int32 num_variables = 3;
void	clear_num_variables ()
::int32_t	num_variables () const
void	set_num_variables (::int32_t value)
bool	has_original_num_variables () const
	optional int32 original_num_variables = 8;
void	clear_original_num_variables ()
::int32_t	original_num_variables () const
void	set_original_num_variables (::int32_t value)
template<typename>
PROTOBUF_CONSTEXPR	LinearBooleanProblem (::_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 LinearBooleanProblem &	default_instance ()
static constexpr auto	InternalGenerateClassData_ ()

Static Public Attributes
static constexpr int	kIndexInFileMessages = 3

Protected Member Functions
	LinearBooleanProblem (::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
	LinearBooleanProblem (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, const LinearBooleanProblem &from)
	LinearBooleanProblem (::google::protobuf::Arena *PROTOBUF_NULLABLE arena, LinearBooleanProblem &&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_2fboolean_5fproblem_2eproto
void	swap (LinearBooleanProblem &a, LinearBooleanProblem &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int

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

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

Enumerator
kConstraintsFieldNumber
kVarNamesFieldNumber
kNameFieldNumber
kObjectiveFieldNumber
kAssignmentFieldNumber
kNumVariablesFieldNumber
kOriginalNumVariablesFieldNumber

Definition at line 941 of file boolean_problem.pb.h.

Constructor & Destructor Documentation

◆ LinearBooleanProblem() [1/8]

operations_research::sat::LinearBooleanProblem::LinearBooleanProblem ( )

inline

Definition at line 802 of file boolean_problem.pb.h.

◆ ~LinearBooleanProblem()

operations_research::sat::LinearBooleanProblem::~LinearBooleanProblem ( )

@protoc_insertion_point(destructor:operations_research.sat.LinearBooleanProblem)

Definition at line 1316 of file boolean_problem.pb.cc.

◆ LinearBooleanProblem() [2/8]

template<typename = void>

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

explicit

◆ LinearBooleanProblem() [3/8]

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

inline

Definition at line 815 of file boolean_problem.pb.h.

◆ LinearBooleanProblem() [4/8]

operations_research::sat::LinearBooleanProblem::LinearBooleanProblem ( LinearBooleanProblem && from )

inlinenoexcept

Definition at line 816 of file boolean_problem.pb.h.

◆ LinearBooleanProblem() [5/8]

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

explicitprotected

@protoc_insertion_point(arena_constructor:operations_research.sat.LinearBooleanProblem)

Definition at line 1250 of file boolean_problem.pb.cc.

◆ LinearBooleanProblem() [6/8]

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

protected

@protoc_insertion_point(copy_constructor:operations_research.sat.LinearBooleanProblem)

Definition at line 1269 of file boolean_problem.pb.cc.

◆ LinearBooleanProblem() [7/8]

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

inlineprotectednoexcept

Definition at line 923 of file boolean_problem.pb.h.

◆ LinearBooleanProblem() [8/8]

template<typename>

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

Definition at line 128 of file boolean_problem.pb.cc.

Member Function Documentation

◆ _InternalSerialize()

uint8_t *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::_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.LinearBooleanProblem)

optional string name = 1 [default = ""];

optional int32 num_variables = 3;

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

optional .operations_research.sat.LinearObjective objective = 5;

repeated string var_names = 6;

optional .operations_research.sat.BooleanAssignment assignment = 7;

optional int32 original_num_variables = 8;

@protoc_insertion_point(serialize_to_array_end:operations_research.sat.LinearBooleanProblem)

Definition at line 1505 of file boolean_problem.pb.cc.

◆ add_constraints()

operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::add_constraints ( )

inline

@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanProblem.constraints)

Definition at line 1667 of file boolean_problem.pb.h.

◆ add_var_names() [1/2]

std::string *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::add_var_names ( )

inline

@protoc_insertion_point(field_add_mutable:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1799 of file boolean_problem.pb.h.

◆ add_var_names() [2/2]

template<typename Arg_, typename... Args_>

void operations_research::sat::LinearBooleanProblem::add_var_names	(	Arg_ &&	value,
		Args_...	args )

inline

@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1823 of file boolean_problem.pb.h.

◆ assignment()

const::operations_research::sat::BooleanAssignment & operations_research::sat::LinearBooleanProblem::assignment ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.assignment)

Definition at line 1868 of file boolean_problem.pb.h.

◆ ByteSizeLong()

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

final

@protoc_insertion_point(message_byte_size_start:operations_research.sat.LinearBooleanProblem)

Prevent compiler warnings about cached_has_bits being unused

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

repeated string var_names = 6;

optional string name = 1 [default = ""];

optional .operations_research.sat.LinearObjective objective = 5;

optional .operations_research.sat.BooleanAssignment assignment = 7;

optional int32 num_variables = 3;

optional int32 original_num_variables = 8;

Definition at line 1583 of file boolean_problem.pb.cc.

◆ Clear()

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

@protoc_insertion_point(message_clear_start:operations_research.sat.LinearBooleanProblem)

Prevent compiler warnings about cached_has_bits being unused

Definition at line 1467 of file boolean_problem.pb.cc.

◆ clear_assignment()

void operations_research::sat::LinearBooleanProblem::clear_assignment ( )

inline

Definition at line 1858 of file boolean_problem.pb.h.

◆ clear_constraints()

void operations_research::sat::LinearBooleanProblem::clear_constraints ( )

inline

Definition at line 1647 of file boolean_problem.pb.h.

◆ clear_name()

void operations_research::sat::LinearBooleanProblem::clear_name ( )

inline

Definition at line 1548 of file boolean_problem.pb.h.

◆ clear_num_variables()

void operations_research::sat::LinearBooleanProblem::clear_num_variables ( )

inline

Definition at line 1617 of file boolean_problem.pb.h.

◆ clear_objective()

void operations_research::sat::LinearBooleanProblem::clear_objective ( )

inline

Definition at line 1696 of file boolean_problem.pb.h.

◆ clear_original_num_variables()

void operations_research::sat::LinearBooleanProblem::clear_original_num_variables ( )

inline

Definition at line 1955 of file boolean_problem.pb.h.

◆ clear_var_names()

void operations_research::sat::LinearBooleanProblem::clear_var_names ( )

inline

Definition at line 1795 of file boolean_problem.pb.h.

◆ constraints() [1/2]

const::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > & operations_research::sat::LinearBooleanProblem::constraints ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanProblem.constraints)

Definition at line 1674 of file boolean_problem.pb.h.

◆ constraints() [2/2]

const::operations_research::sat::LinearBooleanConstraint & operations_research::sat::LinearBooleanProblem::constraints ( int index ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.constraints)

Definition at line 1662 of file boolean_problem.pb.h.

◆ constraints_size()

int operations_research::sat::LinearBooleanProblem::constraints_size ( ) const

inline

repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;

Definition at line 1644 of file boolean_problem.pb.h.

◆ CopyFrom()

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

@protoc_insertion_point(class_specific_copy_from_start:operations_research.sat.LinearBooleanProblem)

Definition at line 1688 of file boolean_problem.pb.cc.

◆ default_instance()

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

inlinestatic

Definition at line 850 of file boolean_problem.pb.h.

◆ descriptor()

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

inlinestatic

Definition at line 841 of file boolean_problem.pb.h.

◆ GetCachedSize()

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

inline

Definition at line 909 of file boolean_problem.pb.h.

◆ GetClassData()

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

protected

Definition at line 1383 of file boolean_problem.pb.cc.

◆ GetDescriptor()

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

inlinestatic

Definition at line 844 of file boolean_problem.pb.h.

◆ GetMetadata()

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

Definition at line 1713 of file boolean_problem.pb.cc.

◆ GetReflection()

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

inlinestatic

Definition at line 847 of file boolean_problem.pb.h.

◆ has_assignment()

bool operations_research::sat::LinearBooleanProblem::has_assignment ( ) const

inline

optional .operations_research.sat.BooleanAssignment assignment = 7;

Definition at line 1853 of file boolean_problem.pb.h.

◆ has_name()

bool operations_research::sat::LinearBooleanProblem::has_name ( ) const

inline

optional string name = 1 [default = ""];

LinearBooleanProblem.

optional string name = 1 [default = ""];

Definition at line 1544 of file boolean_problem.pb.h.

◆ has_num_variables()

bool operations_research::sat::LinearBooleanProblem::has_num_variables ( ) const

inline

optional int32 num_variables = 3;

Definition at line 1613 of file boolean_problem.pb.h.

◆ has_objective()

bool operations_research::sat::LinearBooleanProblem::has_objective ( ) const

inline

optional .operations_research.sat.LinearObjective objective = 5;

Definition at line 1691 of file boolean_problem.pb.h.

◆ has_original_num_variables()

bool operations_research::sat::LinearBooleanProblem::has_original_num_variables ( ) const

inline

optional int32 original_num_variables = 8;

Definition at line 1951 of file boolean_problem.pb.h.

◆ InternalGenerateClassData_()

auto operations_research::sat::LinearBooleanProblem::InternalGenerateClassData_ ( )

staticconstexpr

Definition at line 1355 of file boolean_problem.pb.cc.

◆ InternalNewImpl_()

auto operations_research::sat::LinearBooleanProblem::InternalNewImpl_ ( )

staticconstexprprotected

Definition at line 1335 of file boolean_problem.pb.cc.

◆ IsInitialized()

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

inline

Definition at line 885 of file boolean_problem.pb.h.

◆ MergeFrom()

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

inline

Definition at line 878 of file boolean_problem.pb.h.

◆ mutable_assignment()

operations_research::sat::BooleanAssignment *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::mutable_assignment ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.assignment)

Definition at line 1922 of file boolean_problem.pb.h.

◆ mutable_constraints() [1/2]

google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::mutable_constraints ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanProblem.constraints)

Definition at line 1656 of file boolean_problem.pb.h.

◆ mutable_constraints() [2/2]

operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::mutable_constraints ( int index )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.constraints)

Definition at line 1651 of file boolean_problem.pb.h.

◆ mutable_name()

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

inline

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

Definition at line 1565 of file boolean_problem.pb.h.

◆ mutable_objective()

operations_research::sat::LinearObjective *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::mutable_objective ( )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.objective)

Definition at line 1760 of file boolean_problem.pb.h.

◆ mutable_unknown_fields()

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

inline

Definition at line 836 of file boolean_problem.pb.h.

◆ mutable_var_names() [1/2]

google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::mutable_var_names ( )

inline

@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1836 of file boolean_problem.pb.h.

◆ mutable_var_names() [2/2]

std::string *PROTOBUF_NONNULL operations_research::sat::LinearBooleanProblem::mutable_var_names ( int index )

inline

@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1811 of file boolean_problem.pb.h.

◆ name()

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

inline

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

Definition at line 1553 of file boolean_problem.pb.h.

◆ New()

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

inline

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

Definition at line 872 of file boolean_problem.pb.h.

◆ num_variables()

int32_t operations_research::sat::LinearBooleanProblem::num_variables ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.num_variables)

Definition at line 1622 of file boolean_problem.pb.h.

◆ objective()

const::operations_research::sat::LinearObjective & operations_research::sat::LinearBooleanProblem::objective ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.objective)

Definition at line 1706 of file boolean_problem.pb.h.

◆ operator=() [1/2]

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

inline

Definition at line 818 of file boolean_problem.pb.h.

◆ operator=() [2/2]

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

inlinenoexcept

Definition at line 822 of file boolean_problem.pb.h.

◆ original_num_variables()

int32_t operations_research::sat::LinearBooleanProblem::original_num_variables ( ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.original_num_variables)

Definition at line 1960 of file boolean_problem.pb.h.

◆ PlacementNew_()

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

inlinestaticprotected

Definition at line 1330 of file boolean_problem.pb.cc.

◆ release_assignment()

operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE operations_research::sat::LinearBooleanProblem::release_assignment ( )

inlinenodiscard

Definition at line 1886 of file boolean_problem.pb.h.

◆ release_name()

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

inlinenodiscard

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

Definition at line 1585 of file boolean_problem.pb.h.

◆ release_objective()

operations_research::sat::LinearObjective *PROTOBUF_NULLABLE operations_research::sat::LinearBooleanProblem::release_objective ( )

inlinenodiscard

Definition at line 1724 of file boolean_problem.pb.h.

◆ set_allocated_assignment()

void operations_research::sat::LinearBooleanProblem::set_allocated_assignment ( ::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.assignment)

Definition at line 1929 of file boolean_problem.pb.h.

◆ set_allocated_name()

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

inline

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

Definition at line 1598 of file boolean_problem.pb.h.

◆ set_allocated_objective()

void operations_research::sat::LinearBooleanProblem::set_allocated_objective ( ::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.objective)

Definition at line 1767 of file boolean_problem.pb.h.

◆ set_name() [1/2]

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

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

◆ set_name() [2/2]

template<typename Arg_, typename... Args_>

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

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

Definition at line 1559 of file boolean_problem.pb.h.

◆ set_num_variables()

void operations_research::sat::LinearBooleanProblem::set_num_variables ( ::int32_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.num_variables)

Definition at line 1626 of file boolean_problem.pb.h.

◆ set_original_num_variables()

void operations_research::sat::LinearBooleanProblem::set_original_num_variables ( ::int32_t value )

inline

@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.original_num_variables)

Definition at line 1964 of file boolean_problem.pb.h.

◆ set_var_names()

template<typename Arg_, typename... Args_>

void operations_research::sat::LinearBooleanProblem::set_var_names	(	int	index,
		Arg_ &&	value,
		Args_...	args )

inline

@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1817 of file boolean_problem.pb.h.

◆ Swap()

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

inline

Definition at line 856 of file boolean_problem.pb.h.

◆ unknown_fields()

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

inline

Definition at line 832 of file boolean_problem.pb.h.

◆ unsafe_arena_release_assignment()

operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE operations_research::sat::LinearBooleanProblem::unsafe_arena_release_assignment ( )

inline

@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.assignment)

Definition at line 1905 of file boolean_problem.pb.h.

◆ unsafe_arena_release_objective()

operations_research::sat::LinearObjective *PROTOBUF_NULLABLE operations_research::sat::LinearBooleanProblem::unsafe_arena_release_objective ( )

inline

@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.objective)

Definition at line 1743 of file boolean_problem.pb.h.

◆ unsafe_arena_set_allocated_assignment()

void operations_research::sat::LinearBooleanProblem::unsafe_arena_set_allocated_assignment ( ::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.assignment)

Definition at line 1872 of file boolean_problem.pb.h.

◆ unsafe_arena_set_allocated_objective()

void operations_research::sat::LinearBooleanProblem::unsafe_arena_set_allocated_objective ( ::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value )

inline

@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.objective)

Definition at line 1710 of file boolean_problem.pb.h.

◆ UnsafeArenaSwap()

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

inline

Definition at line 864 of file boolean_problem.pb.h.

◆ var_names() [1/2]

const::google::protobuf::RepeatedPtrField<::std::string > & operations_research::sat::LinearBooleanProblem::var_names ( ) const

inline

@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1830 of file boolean_problem.pb.h.

◆ var_names() [2/2]

const::std::string & operations_research::sat::LinearBooleanProblem::var_names ( int index ) const

inline

@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.var_names)

Definition at line 1806 of file boolean_problem.pb.h.

◆ var_names_size()

int operations_research::sat::LinearBooleanProblem::var_names_size ( ) const

inline

repeated string var_names = 6;

Definition at line 1792 of file boolean_problem.pb.h.

◆ ::google::protobuf::Arena

friend class ::google::protobuf::Arena

friend

Definition at line 1067 of file boolean_problem.pb.h.

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

template<typename T>

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

friend

Definition at line 1069 of file boolean_problem.pb.h.

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

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

friend

Definition at line 1060 of file boolean_problem.pb.h.

◆ ::google::protobuf::MessageLite

friend class ::google::protobuf::MessageLite

friend

Definition at line 1066 of file boolean_problem.pb.h.

◆ ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto

friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto

friend

Definition at line 1093 of file boolean_problem.pb.h.

◆ swap

void swap	(	LinearBooleanProblem &	a,
		LinearBooleanProblem &	b )

friend

Definition at line 855 of file boolean_problem.pb.h.

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LinearBooleanProblem::_impl_

Definition at line 1092 of file boolean_problem.pb.h.

◆ kIndexInFileMessages

int operations_research::sat::LinearBooleanProblem::kIndexInFileMessages = 3

staticconstexpr

Definition at line 854 of file boolean_problem.pb.h.

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

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

Detailed Description

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Friends

Member Enumeration Documentation

◆ anonymous enum

Constructor & Destructor Documentation

◆ LinearBooleanProblem() [1/8]

◆ ~LinearBooleanProblem()

◆ LinearBooleanProblem() [2/8]

◆ LinearBooleanProblem() [3/8]

◆ LinearBooleanProblem() [4/8]

◆ LinearBooleanProblem() [5/8]

◆ LinearBooleanProblem() [6/8]

◆ LinearBooleanProblem() [7/8]

◆ LinearBooleanProblem() [8/8]

Member Function Documentation

◆ _InternalSerialize()

◆ add_constraints()

◆ add_var_names() [1/2]

◆ add_var_names() [2/2]

◆ assignment()

◆ ByteSizeLong()

◆ Clear()

◆ clear_assignment()

◆ clear_constraints()

◆ clear_name()

◆ clear_num_variables()

◆ clear_objective()

◆ clear_original_num_variables()

◆ clear_var_names()

◆ constraints() [1/2]

◆ constraints() [2/2]

◆ constraints_size()

◆ CopyFrom()

◆ default_instance()

◆ descriptor()

◆ GetCachedSize()

◆ GetClassData()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ has_assignment()

◆ has_name()

◆ has_num_variables()

◆ has_objective()

◆ has_original_num_variables()

◆ InternalGenerateClassData_()

◆ InternalNewImpl_()

◆ IsInitialized()

◆ MergeFrom()

◆ mutable_assignment()

◆ mutable_constraints() [1/2]

◆ mutable_constraints() [2/2]

◆ mutable_name()

◆ mutable_objective()

◆ mutable_unknown_fields()

◆ mutable_var_names() [1/2]

◆ mutable_var_names() [2/2]

◆ name()

◆ New()

◆ num_variables()

◆ objective()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ original_num_variables()

◆ PlacementNew_()

◆ release_assignment()

◆ release_name()

◆ release_objective()

◆ set_allocated_assignment()

◆ set_allocated_name()

◆ set_allocated_objective()

◆ set_name() [1/2]

◆ set_name() [2/2]