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

Detailed Description

Definition at line 46 of file lrat_checker.h.

#include <lrat_checker.h>

Public Attributes

ClauseId resolvant_id
absl::Span< const ClauseId > unit_ids

Member Data Documentation

◆ resolvant_id

ClauseId operations_research::sat::LratChecker::RatIds::resolvant_id

Definition at line 47 of file lrat_checker.h.

◆ unit_ids

absl::Span<const ClauseId> operations_research::sat::LratChecker::RatIds::unit_ids

Definition at line 48 of file lrat_checker.h.

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