P4C
The P4 Compiler
Loading...
Searching...
No Matches
Public Member Functions | List of all members
solver::symbolic_bitvec::BvContext Class Reference

Public Member Functions

BitVec new_bv (int sz)
 
BitVec new_bv_const (int sz, bitvec val)