CBMC
bv_refinementt::approximationt Member List

This is the complete list of members for bv_refinementt::approximationt, including all inherited members.

add_over_assumption(literalt l)bv_refinementt::approximationt
add_under_assumption(literalt l)bv_refinementt::approximationt
approximationt(std::size_t _id_nr)bv_refinementt::approximationtinlineexplicit
as_string() constbv_refinementt::approximationt
exprbv_refinementt::approximationt
id_nrbv_refinementt::approximationt
no_operandsbv_refinementt::approximationt
op0_bvbv_refinementt::approximationt
op0_valuebv_refinementt::approximationt
op1_bvbv_refinementt::approximationt
op1_valuebv_refinementt::approximationt
op2_bvbv_refinementt::approximationt
op2_valuebv_refinementt::approximationt
over_assumptionsbv_refinementt::approximationt
over_statebv_refinementt::approximationt
result_bvbv_refinementt::approximationt
result_valuebv_refinementt::approximationt
under_assumptionsbv_refinementt::approximationt
under_statebv_refinementt::approximationt