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:

• sat_solver.h