operations_research::sat::SatSolver::Decision Struct Reference

#include <sat_solver.h>

Public Member Functions
	Decision ()=default
	Decision (int i, Literal l)

Public Attributes
int	trail_index = 0
Literal	literal

Detailed Description

Definition at line 381 of file sat_solver.h.

Constructor & Destructor Documentation

Decision() [1/2]

operations_research::sat::SatSolver::Decision::Decision ( )

default

Decision() [2/2]

operations_research::sat::SatSolver::Decision::Decision ( int i, Literal l )

inline

Definition at line 383 of file sat_solver.h.

Member Data Documentation

literal

Literal operations_research::sat::SatSolver::Decision::literal

Definition at line 385 of file sat_solver.h.

trail_index

int operations_research::sat::SatSolver::Decision::trail_index = 0

Definition at line 384 of file sat_solver.h.

---

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

• ortools/sat/sat_solver.h