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

Detailed Description

Definition at line 1204 of file lrat.pb.h.

#include <lrat.pb.h>

Inheritance diagram for operations_research::sat::LratProofStep:

Classes

class  _Internal

Public Types

enum  StepCase {
  kImportedClause = 1 , kInferredClause = 2 , kExportedClause = 3 , kDeletedClauses = 4 ,
  STEP_NOT_SET = 0
}
enum  : int { kImportedClauseFieldNumber = 1 , kInferredClauseFieldNumber = 2 , kExportedClauseFieldNumber = 3 , kDeletedClausesFieldNumber = 4 }

Public Member Functions

 LratProofStep ()
 ~LratProofStep () PROTOBUF_FINAL
template<typename = void>
PROTOBUF_CONSTEXPR LratProofStep (::google::protobuf::internal::ConstantInitialized)
 LratProofStep (const LratProofStep &from)
 LratProofStep (LratProofStep &&from) noexcept
LratProofStep & operator= (const LratProofStep &from)
LratProofStep & operator= (LratProofStep &&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 (LratProofStep *PROTOBUF_NONNULL other)
void UnsafeArenaSwap (LratProofStep *PROTOBUF_NONNULL other)
LratProofStep *PROTOBUF_NONNULL New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void CopyFrom (const LratProofStep &from)
void MergeFrom (const LratProofStep &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
bool has_imported_clause () const
void clear_imported_clause ()
const ::operations_research::sat::LratImportedClause & imported_clause () const
::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE release_imported_clause ()
::operations_research::sat::LratImportedClause *PROTOBUF_NONNULL mutable_imported_clause ()
void set_allocated_imported_clause (::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE value)
void unsafe_arena_set_allocated_imported_clause (::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE value)
::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE unsafe_arena_release_imported_clause ()
bool has_inferred_clause () const
void clear_inferred_clause ()
const ::operations_research::sat::LratInferredClause & inferred_clause () const
::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE release_inferred_clause ()
::operations_research::sat::LratInferredClause *PROTOBUF_NONNULL mutable_inferred_clause ()
void set_allocated_inferred_clause (::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE value)
void unsafe_arena_set_allocated_inferred_clause (::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE value)
::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE unsafe_arena_release_inferred_clause ()
bool has_exported_clause () const
void clear_exported_clause ()
const ::operations_research::sat::LratExportedClause & exported_clause () const
::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE release_exported_clause ()
::operations_research::sat::LratExportedClause *PROTOBUF_NONNULL mutable_exported_clause ()
void set_allocated_exported_clause (::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE value)
void unsafe_arena_set_allocated_exported_clause (::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE value)
::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE unsafe_arena_release_exported_clause ()
bool has_deleted_clauses () const
void clear_deleted_clauses ()
const ::operations_research::sat::LratDeletedClauses & deleted_clauses () const
::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE release_deleted_clauses ()
::operations_research::sat::LratDeletedClauses *PROTOBUF_NONNULL mutable_deleted_clauses ()
void set_allocated_deleted_clauses (::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE value)
void unsafe_arena_set_allocated_deleted_clauses (::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE value)
::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE unsafe_arena_release_deleted_clauses ()
void clear_step ()
StepCase step_case () const
template<typename>
PROTOBUF_CONSTEXPR LratProofStep (::_pbi::ConstantInitialized)

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

Static Public Attributes

static constexpr int kIndexInFileMessages = 5

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_2flrat_2eproto
void swap (LratProofStep &a, LratProofStep &b)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : int
Enumerator
kImportedClauseFieldNumber 
kInferredClauseFieldNumber 
kExportedClauseFieldNumber 
kDeletedClausesFieldNumber 

Definition at line 1352 of file lrat.pb.h.

◆ StepCase

enum operations_research::sat::LratProofStep::StepCase
Enumerator
kImportedClause 
kInferredClause 
kExportedClause 
kDeletedClauses 
STEP_NOT_SET 

Definition at line 1259 of file lrat.pb.h.

Constructor & Destructor Documentation

◆ LratProofStep() [1/5]

operations_research::sat::LratProofStep::LratProofStep ( )
inline

Definition at line 1207 of file lrat.pb.h.

◆ ~LratProofStep()

operations_research::sat::LratProofStep::~LratProofStep ( )

Definition at line 2062 of file lrat.pb.cc.

◆ LratProofStep() [2/5]

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

◆ LratProofStep() [3/5]

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

Definition at line 1220 of file lrat.pb.h.

◆ LratProofStep() [4/5]

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

Definition at line 1221 of file lrat.pb.h.

◆ LratProofStep() [5/5]

template<typename>
PROTOBUF_CONSTEXPR operations_research::sat::LratProofStep::LratProofStep ( ::_pbi::ConstantInitialized )

Definition at line 175 of file lrat.pb.cc.

Member Function Documentation

◆ _InternalSerialize()

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

Definition at line 2224 of file lrat.pb.cc.

◆ ByteSizeLong()

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

Definition at line 2277 of file lrat.pb.cc.

◆ Clear()

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

Definition at line 2207 of file lrat.pb.cc.

◆ clear_deleted_clauses()

void operations_research::sat::LratProofStep::clear_deleted_clauses ( )
inline

Definition at line 2285 of file lrat.pb.h.

◆ clear_exported_clause()

void operations_research::sat::LratProofStep::clear_exported_clause ( )
inline

Definition at line 2203 of file lrat.pb.h.

◆ clear_imported_clause()

void operations_research::sat::LratProofStep::clear_imported_clause ( )
inline

Definition at line 2039 of file lrat.pb.h.

◆ clear_inferred_clause()

void operations_research::sat::LratProofStep::clear_inferred_clause ( )
inline

Definition at line 2121 of file lrat.pb.h.

◆ clear_step()

void operations_research::sat::LratProofStep::clear_step ( )

Definition at line 2079 of file lrat.pb.cc.

◆ CopyFrom()

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

Definition at line 2386 of file lrat.pb.cc.

◆ default_instance()

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

Definition at line 1255 of file lrat.pb.h.

◆ deleted_clauses()

const::operations_research::sat::LratDeletedClauses & operations_research::sat::LratProofStep::deleted_clauses ( ) const
inline

Definition at line 2314 of file lrat.pb.h.

◆ descriptor()

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

Definition at line 1246 of file lrat.pb.h.

◆ exported_clause()

const::operations_research::sat::LratExportedClause & operations_research::sat::LratProofStep::exported_clause ( ) const
inline

Definition at line 2232 of file lrat.pb.h.

◆ GetCachedSize()

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

Definition at line 1321 of file lrat.pb.h.

◆ GetDescriptor()

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

Definition at line 1249 of file lrat.pb.h.

◆ GetMetadata()

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

Definition at line 2401 of file lrat.pb.cc.

◆ GetReflection()

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

Definition at line 1252 of file lrat.pb.h.

◆ has_deleted_clauses()

bool operations_research::sat::LratProofStep::has_deleted_clauses ( ) const
inline

Definition at line 2276 of file lrat.pb.h.

◆ has_exported_clause()

bool operations_research::sat::LratProofStep::has_exported_clause ( ) const
inline

Definition at line 2194 of file lrat.pb.h.

◆ has_imported_clause()

bool operations_research::sat::LratProofStep::has_imported_clause ( ) const
inline

Definition at line 2030 of file lrat.pb.h.

◆ has_inferred_clause()

bool operations_research::sat::LratProofStep::has_inferred_clause ( ) const
inline

Definition at line 2112 of file lrat.pb.h.

◆ imported_clause()

const::operations_research::sat::LratImportedClause & operations_research::sat::LratProofStep::imported_clause ( ) const
inline

Definition at line 2068 of file lrat.pb.h.

◆ inferred_clause()

const::operations_research::sat::LratInferredClause & operations_research::sat::LratProofStep::inferred_clause ( ) const
inline

Definition at line 2150 of file lrat.pb.h.

◆ InternalGenerateClassData_()

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

Definition at line 2132 of file lrat.pb.cc.

◆ IsInitialized()

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

Definition at line 1297 of file lrat.pb.h.

◆ MergeFrom()

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

Definition at line 1290 of file lrat.pb.h.

◆ mutable_deleted_clauses()

operations_research::sat::LratDeletedClauses *PROTOBUF_NONNULL operations_research::sat::LratProofStep::mutable_deleted_clauses ( )
inline

Definition at line 2350 of file lrat.pb.h.

◆ mutable_exported_clause()

operations_research::sat::LratExportedClause *PROTOBUF_NONNULL operations_research::sat::LratProofStep::mutable_exported_clause ( )
inline

Definition at line 2268 of file lrat.pb.h.

◆ mutable_imported_clause()

operations_research::sat::LratImportedClause *PROTOBUF_NONNULL operations_research::sat::LratProofStep::mutable_imported_clause ( )
inline

Definition at line 2104 of file lrat.pb.h.

◆ mutable_inferred_clause()

operations_research::sat::LratInferredClause *PROTOBUF_NONNULL operations_research::sat::LratProofStep::mutable_inferred_clause ( )
inline

Definition at line 2186 of file lrat.pb.h.

◆ mutable_unknown_fields()

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

Definition at line 1241 of file lrat.pb.h.

◆ New()

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

Definition at line 1284 of file lrat.pb.h.

◆ operator=() [1/2]

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

Definition at line 1223 of file lrat.pb.h.

◆ operator=() [2/2]

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

Definition at line 1227 of file lrat.pb.h.

◆ release_deleted_clauses()

operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::release_deleted_clauses ( )
inlinenodiscard

Definition at line 2296 of file lrat.pb.h.

◆ release_exported_clause()

operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::release_exported_clause ( )
inlinenodiscard

Definition at line 2214 of file lrat.pb.h.

◆ release_imported_clause()

operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::release_imported_clause ( )
inlinenodiscard

Definition at line 2050 of file lrat.pb.h.

◆ release_inferred_clause()

operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::release_inferred_clause ( )
inlinenodiscard

Definition at line 2132 of file lrat.pb.h.

◆ set_allocated_deleted_clauses()

void operations_research::sat::LratProofStep::set_allocated_deleted_clauses ( ::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE value)

Definition at line 1990 of file lrat.pb.cc.

◆ set_allocated_exported_clause()

void operations_research::sat::LratProofStep::set_allocated_exported_clause ( ::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE value)

Definition at line 1977 of file lrat.pb.cc.

◆ set_allocated_imported_clause()

void operations_research::sat::LratProofStep::set_allocated_imported_clause ( ::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE value)

Definition at line 1951 of file lrat.pb.cc.

◆ set_allocated_inferred_clause()

void operations_research::sat::LratProofStep::set_allocated_inferred_clause ( ::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE value)

Definition at line 1964 of file lrat.pb.cc.

◆ step_case()

LratProofStep::StepCase operations_research::sat::LratProofStep::step_case ( ) const
inline

Definition at line 2363 of file lrat.pb.h.

◆ Swap()

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

Definition at line 1268 of file lrat.pb.h.

◆ unknown_fields()

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

Definition at line 1237 of file lrat.pb.h.

◆ unsafe_arena_release_deleted_clauses()

operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::unsafe_arena_release_deleted_clauses ( )
inline

Definition at line 2318 of file lrat.pb.h.

◆ unsafe_arena_release_exported_clause()

operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::unsafe_arena_release_exported_clause ( )
inline

Definition at line 2236 of file lrat.pb.h.

◆ unsafe_arena_release_imported_clause()

operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::unsafe_arena_release_imported_clause ( )
inline

Definition at line 2072 of file lrat.pb.h.

◆ unsafe_arena_release_inferred_clause()

operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE operations_research::sat::LratProofStep::unsafe_arena_release_inferred_clause ( )
inline

Definition at line 2154 of file lrat.pb.h.

◆ unsafe_arena_set_allocated_deleted_clauses()

void operations_research::sat::LratProofStep::unsafe_arena_set_allocated_deleted_clauses ( ::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE value)
inline

Definition at line 2329 of file lrat.pb.h.

◆ unsafe_arena_set_allocated_exported_clause()

void operations_research::sat::LratProofStep::unsafe_arena_set_allocated_exported_clause ( ::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE value)
inline

Definition at line 2247 of file lrat.pb.h.

◆ unsafe_arena_set_allocated_imported_clause()

void operations_research::sat::LratProofStep::unsafe_arena_set_allocated_imported_clause ( ::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE value)
inline

Definition at line 2083 of file lrat.pb.h.

◆ unsafe_arena_set_allocated_inferred_clause()

void operations_research::sat::LratProofStep::unsafe_arena_set_allocated_inferred_clause ( ::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE value)
inline

Definition at line 2165 of file lrat.pb.h.

◆ UnsafeArenaSwap()

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

Definition at line 1276 of file lrat.pb.h.

◆ ::google::protobuf::Arena

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

Definition at line 1452 of file lrat.pb.h.

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

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

Definition at line 1454 of file lrat.pb.h.

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

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

Definition at line 1445 of file lrat.pb.h.

◆ ::google::protobuf::MessageLite

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

Definition at line 1451 of file lrat.pb.h.

◆ ::TableStruct_ortools_2fsat_2flrat_2eproto

friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto
friend

Definition at line 1479 of file lrat.pb.h.

◆ swap

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

Definition at line 1267 of file lrat.pb.h.

Member Data Documentation

◆ _impl_

Impl_ operations_research::sat::LratProofStep::_impl_

Definition at line 1478 of file lrat.pb.h.

◆ kIndexInFileMessages

int operations_research::sat::LratProofStep::kIndexInFileMessages = 5
staticconstexpr

Definition at line 1266 of file lrat.pb.h.

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