10 #ifndef CPROVER_CBMC_BV_CBMC_H 11 #define CPROVER_CBMC_BV_CBMC_H 31 #endif // CPROVER_CBMC_BV_CBMC_H
virtual bvt convert_waitfor_symbol(const exprt &expr)
virtual bvt convert_bitvector(const exprt &expr)
Converts an expression into its gate-level representation and returns a vector of literals correspond...
bv_cbmct(const namespacet &_ns, propt &_prop)
Base class for all expressions.
virtual bvt convert_waitfor(const exprt &expr)
std::vector< literalt > bvt