BasicKnapsackSolver::Result

Detailed Description

Definition at line 254 of file sat/util.h.

Public Attributes
bool	solved = false
bool	infeasible = false
std::vector< int64_t >	solution

Member Data Documentation

infeasible

bool infeasible = false

Definition at line 256 of file sat/util.h.

solution

std::vector<int64_t> solution

Definition at line 257 of file sat/util.h.

solved

bool solved = false

Definition at line 255 of file sat/util.h.

---

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

• sat/util.h