cprover
boolbvt::quantifiert Class Reference

#include <boolbv.h>

Collaboration diagram for boolbvt::quantifiert:
[legend]

Public Attributes

exprt expr
 
literalt l
 

Detailed Description

Definition at line 238 of file boolbv.h.

Member Data Documentation

◆ expr

exprt boolbvt::quantifiert::expr

Definition at line 241 of file boolbv.h.

Referenced by boolbvt::convert_quantifier().

◆ l

literalt boolbvt::quantifiert::l

Definition at line 242 of file boolbv.h.


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