![]() |
OR-Tools
8.2
|
Definition at line 350 of file sat_solver.h.
Public Member Functions | |
Decision () | |
Decision (int i, Literal l) | |
Public Attributes | |
int | trail_index = 0 |
Literal | literal |
|
inline |
Definition at line 351 of file sat_solver.h.
Definition at line 352 of file sat_solver.h.
Literal literal |
Definition at line 354 of file sat_solver.h.
int trail_index = 0 |
Definition at line 353 of file sat_solver.h.