cprover
boolbvt::quantifiert Class Reference

#include <boolbv.h>

+ Collaboration diagram for boolbvt::quantifiert:

Public Attributes

exprt expr
 
literalt l
 

Detailed Description

Definition at line 240 of file boolbv.h.

Member Data Documentation

◆ expr

exprt boolbvt::quantifiert::expr

Definition at line 243 of file boolbv.h.

◆ l

literalt boolbvt::quantifiert::l

Definition at line 244 of file boolbv.h.


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