- z -

• zchaff_solver() : satcheck_zchaff_baset
• zero() : constant_interval_exprt , fixedbvt , ieee_floatt
• zero_expr() : integer_bitvector_typet , integer_typet , natural_typet , rational_typet , real_typet
• zero_extend() : smt_bit_vector_theoryt
• zero_extend_exprt() : zero_extend_exprt
• zero_extension() : bv_utilst
• zero_initializer() : cpp_typecheckt
• zero_permitted() : count_leading_zeros_exprt , count_trailing_zeros_exprt
• zeros() : bv_utilst
• zip() : ranget< iteratort >
• zip_iteratort() : zip_iteratort< first_iteratort, second_iteratort, same_size >