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

Detailed Description

Definition at line 83 of file integer.h.

#include <integer.h>

Public Attributes

std::vector< Literal > literal_to_fix
std::vector< IntegerLiteral > integer_literal_to_fix

Member Data Documentation

◆ integer_literal_to_fix

std::vector<IntegerLiteral> operations_research::sat::DelayedRootLevelDeduction::integer_literal_to_fix

Definition at line 85 of file integer.h.

◆ literal_to_fix

std::vector<Literal> operations_research::sat::DelayedRootLevelDeduction::literal_to_fix

Definition at line 84 of file integer.h.

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