boolbvt::quantifiert Class Reference

#include <boolbv.h>

Collaboration diagram for boolbvt::quantifiert:

Public Member Functions
	quantifiert (exprt _expr, literalt _l)

Public Attributes
exprt	expr
literalt	l

Detailed Description

Definition at line 273 of file boolbv.h.

Constructor & Destructor Documentation

quantifiert()

boolbvt::quantifiert::quantifiert ( exprt  _expr, literalt  _l  )

inline

Definition at line 276 of file boolbv.h.

Member Data Documentation

expr

exprt boolbvt::quantifiert::expr

Definition at line 281 of file boolbv.h.

l

literalt boolbvt::quantifiert::l

Definition at line 282 of file boolbv.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/flattening/boolbv.h