cprover
boolbv_mapt::map_bitt Struct Reference

#include <boolbv_map.h>

Collaboration diagram for boolbv_mapt::map_bitt:
[legend]

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()

boolbv_mapt::map_bitt::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: