solver::symbolic_bitvec::BvContext Class Reference

Public Member Functions
BitVec	new_bv (int sz)
BitVec	new_bv_const (int sz, bitvec val)

---

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

• symbolic_bitvec.h
• phv/solver/symbolic_bitvec.cpp