CaDiCaL::CubesWithStatus Struct Reference

#include <internal.hpp>

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

Detailed Description

Definition at line 129 of file internal.hpp.

Member Data Documentation

cubes

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

Definition at line 131 of file internal.hpp.

status

int CaDiCaL::CubesWithStatus::status = 0

Definition at line 130 of file internal.hpp.

---

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

• src/sat/cadical/internal.hpp