boolbv_mapt::map_bitt Struct Reference
#include <boolbv_map.h>
Collaboration diagram for boolbv_mapt::map_bitt:Public Member Functions | |
| map_bitt () | |
Public Attributes | |
| bool | is_set |
| literalt | l |
Detailed Description
Definition at line 34 of file boolbv_map.h.
Constructor & Destructor Documentation
◆ map_bitt()
|
inline |
Definition at line 36 of file boolbv_map.h.
Member Data Documentation
◆ is_set
| bool boolbv_mapt::map_bitt::is_set |
Definition at line 37 of file boolbv_map.h.
◆ l
| literalt boolbv_mapt::map_bitt::l |
Definition at line 38 of file boolbv_map.h.
The documentation for this struct was generated from the following file:
- solvers/flattening/boolbv_map.h
