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

Detailed Description

Definition at line 42 of file container.h.

#include <container.h>

Public Types

using Offset = int

Public Member Functions

 LiteralsOrOffsets ()=default
 ~LiteralsOrOffsets ()
 LiteralsOrOffsets (const LiteralsOrOffsets &)=delete
LiteralsOrOffsets & operator= (const LiteralsOrOffsets &)=delete
 LiteralsOrOffsets (LiteralsOrOffsets &&o)
LiteralsOrOffsets & operator= (LiteralsOrOffsets &&o)
void PushBackLiteral (Literal literal)
void InsertOffset (Offset offset)
int num_literals () const
int num_offsets () const
absl::Span< const Literal > literals () const
absl::Span< Literal > literals ()
absl::Span< const Offset > offsets () const
absl::Span< Offset > offsets ()
void ClearLiterals ()
void ClearOffsets ()
void Clear ()
void ClearAndReleaseMemory ()
void ShrinkToFit ()
void TruncateLiterals (int new_size)
template<typename Predicate>
void RemoveLiteralsIf (Predicate predicate)
uint32_t capacity () const

Static Public Attributes

static constexpr uint32_t kInlineElements = 4

Member Typedef Documentation

◆ Offset

using operations_research::sat::LiteralsOrOffsets::Offset = int

Definition at line 70 of file container.h.

Constructor & Destructor Documentation

◆ LiteralsOrOffsets() [1/3]

operations_research::sat::LiteralsOrOffsets::LiteralsOrOffsets ( )
default

◆ ~LiteralsOrOffsets()

operations_research::sat::LiteralsOrOffsets::~LiteralsOrOffsets ( )
inline

Definition at line 46 of file container.h.

◆ LiteralsOrOffsets() [2/3]

operations_research::sat::LiteralsOrOffsets::LiteralsOrOffsets ( const LiteralsOrOffsets & )
delete

◆ LiteralsOrOffsets() [3/3]

operations_research::sat::LiteralsOrOffsets::LiteralsOrOffsets ( LiteralsOrOffsets && o)
inline

Definition at line 53 of file container.h.

Member Function Documentation

◆ capacity()

uint32_t operations_research::sat::LiteralsOrOffsets::capacity ( ) const
inline

Definition at line 154 of file container.h.

◆ Clear()

void operations_research::sat::LiteralsOrOffsets::Clear ( )
inline

Definition at line 104 of file container.h.

◆ ClearAndReleaseMemory()

void operations_research::sat::LiteralsOrOffsets::ClearAndReleaseMemory ( )
inline

Definition at line 110 of file container.h.

◆ ClearLiterals()

void operations_research::sat::LiteralsOrOffsets::ClearLiterals ( )
inline

Definition at line 102 of file container.h.

◆ ClearOffsets()

void operations_research::sat::LiteralsOrOffsets::ClearOffsets ( )
inline

Definition at line 103 of file container.h.

◆ InsertOffset()

void operations_research::sat::LiteralsOrOffsets::InsertOffset ( Offset offset)
inline

Definition at line 82 of file container.h.

◆ literals() [1/2]

absl::Span< Literal > operations_research::sat::LiteralsOrOffsets::literals ( )
inline

Definition at line 228 of file container.h.

◆ literals() [2/2]

absl::Span< const Literal > operations_research::sat::LiteralsOrOffsets::literals ( ) const
inline

Definition at line 219 of file container.h.

◆ num_literals()

int operations_research::sat::LiteralsOrOffsets::num_literals ( ) const
inline

Definition at line 90 of file container.h.

◆ num_offsets()

int operations_research::sat::LiteralsOrOffsets::num_offsets ( ) const
inline

Definition at line 91 of file container.h.

◆ offsets() [1/2]

absl::Span< LiteralsOrOffsets::Offset > operations_research::sat::LiteralsOrOffsets::offsets ( )
inline

Definition at line 243 of file container.h.

◆ offsets() [2/2]

absl::Span< const LiteralsOrOffsets::Offset > operations_research::sat::LiteralsOrOffsets::offsets ( ) const
inline

Definition at line 234 of file container.h.

◆ operator=() [1/2]

LiteralsOrOffsets & operations_research::sat::LiteralsOrOffsets::operator= ( const LiteralsOrOffsets & )
delete

◆ operator=() [2/2]

LiteralsOrOffsets & operations_research::sat::LiteralsOrOffsets::operator= ( LiteralsOrOffsets && o)
inline

Definition at line 61 of file container.h.

◆ PushBackLiteral()

void operations_research::sat::LiteralsOrOffsets::PushBackLiteral ( Literal literal)
inline

Definition at line 73 of file container.h.

◆ RemoveLiteralsIf()

template<typename Predicate>
void operations_research::sat::LiteralsOrOffsets::RemoveLiteralsIf ( Predicate predicate)

Definition at line 251 of file container.h.

◆ ShrinkToFit()

void operations_research::sat::LiteralsOrOffsets::ShrinkToFit ( )
inline

Definition at line 118 of file container.h.

◆ TruncateLiterals()

void operations_research::sat::LiteralsOrOffsets::TruncateLiterals ( int new_size)
inline

Definition at line 141 of file container.h.

Member Data Documentation

◆ inlined

LiteralOrOffset operations_research::sat::LiteralsOrOffsets::inlined[kInlineElements]

Definition at line 214 of file container.h.

◆ kInlineElements

uint32_t operations_research::sat::LiteralsOrOffsets::kInlineElements = 4
staticconstexpr

Definition at line 156 of file container.h.

◆ ptr

LiteralOrOffset* operations_research::sat::LiteralsOrOffsets::ptr

Definition at line 215 of file container.h.

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