operations_research::sat::LratInferredClauseDefaultTypeInternal Struct Reference

Detailed Description

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

Public Member Functions
PROTOBUF_CONSTEXPR	LratInferredClauseDefaultTypeInternal ()
	~LratInferredClauseDefaultTypeInternal ()

Public Attributes
union {
LratInferredClause   _instance
};

Constructor & Destructor Documentation

LratInferredClauseDefaultTypeInternal()

PROTOBUF_CONSTEXPR operations_research::sat::LratInferredClauseDefaultTypeInternal::LratInferredClauseDefaultTypeInternal ( )

inline

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

~LratInferredClauseDefaultTypeInternal()

operations_research::sat::LratInferredClauseDefaultTypeInternal::~LratInferredClauseDefaultTypeInternal ( )

inline

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

Member Data Documentation

[union]

union { ... } operations_research::sat::LratInferredClauseDefaultTypeInternal

_instance

LratInferredClause operations_research::sat::LratInferredClauseDefaultTypeInternal::_instance

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

---

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

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