cprover
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 31 of file boolbv_map.h.

Constructor & Destructor Documentation

◆ map_bitt()

boolbv_mapt::map_bitt::map_bitt ( )
inline

Definition at line 33 of file boolbv_map.h.

Member Data Documentation

◆ is_set

bool boolbv_mapt::map_bitt::is_set

Definition at line 34 of file boolbv_map.h.

◆ l

literalt boolbv_mapt::map_bitt::l

Definition at line 35 of file boolbv_map.h.


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