operations_research::sat::LratProofStep::Impl_::StepUnion Union Reference

Detailed Description

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

#include <lrat.pb.h>

Public Member Functions
constexpr	StepUnion ()

Public Attributes
::google::protobuf::internal::ConstantInitialized	_constinit_
::google::protobuf::Message *PROTOBUF_NULLABLE	imported_clause_
::google::protobuf::Message *PROTOBUF_NULLABLE	inferred_clause_
::google::protobuf::Message *PROTOBUF_NULLABLE	exported_clause_
::google::protobuf::Message *PROTOBUF_NULLABLE	deleted_clauses_

Constructor & Destructor Documentation

StepUnion()

operations_research::sat::LratProofStep::Impl_::StepUnion::StepUnion ( )

inlineconstexpr

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

Member Data Documentation

_constinit_

::google::protobuf::internal::ConstantInitialized operations_research::sat::LratProofStep::Impl_::StepUnion::_constinit_

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

deleted_clauses_

::google::protobuf::Message* PROTOBUF_NULLABLE operations_research::sat::LratProofStep::Impl_::StepUnion::deleted_clauses_

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

exported_clause_

::google::protobuf::Message* PROTOBUF_NULLABLE operations_research::sat::LratProofStep::Impl_::StepUnion::exported_clause_

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

imported_clause_

::google::protobuf::Message* PROTOBUF_NULLABLE operations_research::sat::LratProofStep::Impl_::StepUnion::imported_clause_

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

inferred_clause_

::google::protobuf::Message* PROTOBUF_NULLABLE operations_research::sat::LratProofStep::Impl_::StepUnion::inferred_clause_

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

---

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

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