CaDiCaL::Solver::CubesWithStatus Struct Reference

#include <cadical.hpp>

Public Attributes
int	status
std::vector< std::vector< int > >	cubes

Detailed Description

Definition at line 517 of file cadical.hpp.

Member Data Documentation

cubes

std::vector<std::vector<int> > CaDiCaL::Solver::CubesWithStatus::cubes

Definition at line 519 of file cadical.hpp.

status

int CaDiCaL::Solver::CubesWithStatus::status

Definition at line 518 of file cadical.hpp.

---

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

• src/sat/cadical/cadical.hpp