OR-Tools  8.2
SatSolver::Decision

Detailed Description

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
 

Constructor & Destructor Documentation

◆ Decision() [1/2]

Decision ( )
inline

Definition at line 351 of file sat_solver.h.

◆ Decision() [2/2]

Decision ( int  i,
Literal  l 
)
inline

Definition at line 352 of file sat_solver.h.

Member Data Documentation

◆ literal

Literal literal

Definition at line 354 of file sat_solver.h.

◆ trail_index

int trail_index = 0

Definition at line 353 of file sat_solver.h.


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