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

Detailed Description

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

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
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
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
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
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
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
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
void clear_num_variables ()
::int32_t num_variables () const
void set_num_variables (::int32_t value)
bool has_original_num_variables () const
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

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
Enumerator
kConstraintsFieldNumber 
kVarNamesFieldNumber 
kNameFieldNumber 
kObjectiveFieldNumber 
kAssignmentFieldNumber 
kNumVariablesFieldNumber 
kOriginalNumVariablesFieldNumber 

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

Constructor & Destructor Documentation

◆ LinearBooleanProblem() [1/5]

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

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

◆ ~LinearBooleanProblem()

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

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

◆ LinearBooleanProblem() [2/5]

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

◆ LinearBooleanProblem() [3/5]

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

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

◆ LinearBooleanProblem() [4/5]

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

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

◆ LinearBooleanProblem() [5/5]

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

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

◆ add_constraints()

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

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

◆ add_var_names() [1/2]

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

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

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

◆ assignment()

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

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

◆ ByteSizeLong()

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

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

◆ Clear()

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

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

◆ clear_assignment()

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

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

◆ clear_constraints()

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

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

◆ clear_name()

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

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

◆ clear_num_variables()

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

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

◆ clear_objective()

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

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

◆ clear_original_num_variables()

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

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

◆ clear_var_names()

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

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

◆ constraints() [1/2]

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

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

◆ constraints() [2/2]

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

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

◆ constraints_size()

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

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

◆ CopyFrom()

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

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

◆ default_instance()

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

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

◆ descriptor()

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

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

◆ GetCachedSize()

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

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

◆ GetDescriptor()

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

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

◆ GetMetadata()

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

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

◆ GetReflection()

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

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

◆ has_assignment()

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

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

◆ has_name()

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

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

◆ has_num_variables()

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

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

◆ has_objective()

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

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

◆ has_original_num_variables()

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

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

◆ InternalGenerateClassData_()

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

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

◆ IsInitialized()

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

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

◆ MergeFrom()

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

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

◆ mutable_assignment()

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

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

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

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

◆ mutable_name()

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

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

◆ mutable_objective()

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

Definition at line 1789 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 834 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

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

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

◆ name()

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

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

◆ New()

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

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

◆ num_variables()

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

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

◆ objective()

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

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

◆ operator=() [1/2]

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

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

◆ operator=() [2/2]

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

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

◆ original_num_variables()

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

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

◆ release_assignment()

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

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

◆ release_name()

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

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

◆ release_objective()

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

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

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

◆ set_allocated_name()

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

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

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

◆ set_name() [1/2]

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

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

◆ set_name() [2/2]

template<typename Arg_ = const ::std::string&, typename... Args_>
void operations_research::sat::LinearBooleanProblem::set_name ( Arg_ && arg,
Args_... args )

◆ set_num_variables()

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

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

◆ set_original_num_variables()

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

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

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

◆ Swap()

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

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

◆ unknown_fields()

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

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

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

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

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

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

◆ UnsafeArenaSwap()

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

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

◆ var_names() [1/2]

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

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

◆ var_names() [2/2]

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

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

◆ var_names_size()

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

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

◆ ::google::protobuf::Arena

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

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

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

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

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

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

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

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

◆ ::google::protobuf::MessageLite

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

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

◆ ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto

friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto
friend

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

◆ swap

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

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

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LinearBooleanProblem::_impl_

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

◆ kIndexInFileMessages

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

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

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