operations_research::sat::SatSweepingResult Struct Reference

Detailed Description

Definition at line 97 of file sat_sweeping.h.

#include <sat_sweeping.h>

Public Attributes
std::vector< Literal >	unary_clauses
std::vector< std::pair< Literal, Literal > >	binary_clauses
SatSolver::Status	status

Member Data Documentation

binary_clauses

std::vector<std::pair<Literal, Literal> > operations_research::sat::SatSweepingResult::binary_clauses

Definition at line 102 of file sat_sweeping.h.

status

SatSolver::Status operations_research::sat::SatSweepingResult::status

Definition at line 104 of file sat_sweeping.h.

unary_clauses

std::vector<Literal> operations_research::sat::SatSweepingResult::unary_clauses

Definition at line 99 of file sat_sweeping.h.

---

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

• ortools/sat/sat_sweeping.h