SatSolver::Decision

Detailed Description

Definition at line 376 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 377 of file sat_solver.h.

Decision() [2/2]

Decision ( int  i, Literal  l  )

inline

Definition at line 378 of file sat_solver.h.

Member Data Documentation

literal

Literal literal

Definition at line 380 of file sat_solver.h.

trail_index

int trail_index = 0

Definition at line 379 of file sat_solver.h.

---

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

• sat_solver.h