operations_research::sat::LratDeletedClausesDefaultTypeInternal Struct Reference

Detailed Description

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

Public Member Functions
PROTOBUF_CONSTEXPR	LratDeletedClausesDefaultTypeInternal ()
	~LratDeletedClausesDefaultTypeInternal ()

Public Attributes
union {
LratDeletedClauses   _instance
};

Constructor & Destructor Documentation

LratDeletedClausesDefaultTypeInternal()

PROTOBUF_CONSTEXPR operations_research::sat::LratDeletedClausesDefaultTypeInternal::LratDeletedClausesDefaultTypeInternal ( )

inline

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

~LratDeletedClausesDefaultTypeInternal()

operations_research::sat::LratDeletedClausesDefaultTypeInternal::~LratDeletedClausesDefaultTypeInternal ( )

inline

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

Member Data Documentation

[union]

union { ... } operations_research::sat::LratDeletedClausesDefaultTypeInternal

_instance

LratDeletedClauses operations_research::sat::LratDeletedClausesDefaultTypeInternal::_instance

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

---

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

• build/ortools/sat/lrat.pb.cc