|
| template<> |
| bool | can_cast_expr< bswap_exprt > (const exprt &base) |
| |
| void | validate_expr (const bswap_exprt &value) |
| |
| const bswap_exprt & | to_bswap_expr (const exprt &expr) |
| | Cast an exprt to a bswap_exprt.
|
| |
| bswap_exprt & | to_bswap_expr (exprt &expr) |
| | Cast an exprt to a bswap_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitnot_exprt > (const exprt &base) |
| |
| void | validate_expr (const bitnot_exprt &value) |
| |
| const bitnot_exprt & | to_bitnot_expr (const exprt &expr) |
| | Cast an exprt to a bitnot_exprt.
|
| |
| bitnot_exprt & | to_bitnot_expr (exprt &expr) |
| | Cast an exprt to a bitnot_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitor_exprt > (const exprt &base) |
| |
| const bitor_exprt & | to_bitor_expr (const exprt &expr) |
| | Cast an exprt to a bitor_exprt.
|
| |
| bitor_exprt & | to_bitor_expr (exprt &expr) |
| | Cast an exprt to a bitor_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitnor_exprt > (const exprt &base) |
| |
| const bitnor_exprt & | to_bitnor_expr (const exprt &expr) |
| | Cast an exprt to a bitnor_exprt.
|
| |
| bitnor_exprt & | to_bitnor_expr (exprt &expr) |
| | Cast an exprt to a bitnor_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitxor_exprt > (const exprt &base) |
| |
| const bitxor_exprt & | to_bitxor_expr (const exprt &expr) |
| | Cast an exprt to a bitxor_exprt.
|
| |
| bitxor_exprt & | to_bitxor_expr (exprt &expr) |
| | Cast an exprt to a bitxor_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitxnor_exprt > (const exprt &base) |
| |
| const bitxnor_exprt & | to_bitxnor_expr (const exprt &expr) |
| | Cast an exprt to a bitxnor_exprt.
|
| |
| bitxnor_exprt & | to_bitxnor_expr (exprt &expr) |
| | Cast an exprt to a bitxnor_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitand_exprt > (const exprt &base) |
| |
| const bitand_exprt & | to_bitand_expr (const exprt &expr) |
| | Cast an exprt to a bitand_exprt.
|
| |
| bitand_exprt & | to_bitand_expr (exprt &expr) |
| | Cast an exprt to a bitand_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitnand_exprt > (const exprt &base) |
| |
| const bitnand_exprt & | to_bitnand_expr (const exprt &expr) |
| | Cast an exprt to a bitnand_exprt.
|
| |
| bitnand_exprt & | to_bitnand_expr (exprt &expr) |
| | Cast an exprt to a bitnand_exprt.
|
| |
| template<> |
| bool | can_cast_expr< shift_exprt > (const exprt &base) |
| |
| void | validate_expr (const shift_exprt &value) |
| |
| const shift_exprt & | to_shift_expr (const exprt &expr) |
| | Cast an exprt to a shift_exprt.
|
| |
| shift_exprt & | to_shift_expr (exprt &expr) |
| | Cast an exprt to a shift_exprt.
|
| |
| template<> |
| bool | can_cast_expr< shl_exprt > (const exprt &base) |
| |
| const shl_exprt & | to_shl_expr (const exprt &expr) |
| | Cast an exprt to a shl_exprt.
|
| |
| shl_exprt & | to_shl_expr (exprt &expr) |
| | Cast an exprt to a shl_exprt.
|
| |
| template<> |
| bool | can_cast_expr< ashr_exprt > (const exprt &base) |
| |
| template<> |
| bool | can_cast_expr< lshr_exprt > (const exprt &base) |
| |
| template<> |
| bool | can_cast_expr< extractbit_exprt > (const exprt &base) |
| |
| void | validate_expr (const extractbit_exprt &value) |
| |
| const extractbit_exprt & | to_extractbit_expr (const exprt &expr) |
| | Cast an exprt to an extractbit_exprt.
|
| |
| extractbit_exprt & | to_extractbit_expr (exprt &expr) |
| | Cast an exprt to an extractbit_exprt.
|
| |
| template<> |
| bool | can_cast_expr< extractbits_exprt > (const exprt &base) |
| |
| void | validate_expr (const extractbits_exprt &value) |
| |
| const extractbits_exprt & | to_extractbits_expr (const exprt &expr) |
| | Cast an exprt to an extractbits_exprt.
|
| |
| extractbits_exprt & | to_extractbits_expr (exprt &expr) |
| | Cast an exprt to an extractbits_exprt.
|
| |
| template<> |
| bool | can_cast_expr< update_bit_exprt > (const exprt &base) |
| |
| const update_bit_exprt & | to_update_bit_expr (const exprt &expr) |
| | Cast an exprt to an update_bit_exprt.
|
| |
| update_bit_exprt & | to_update_bit_expr (exprt &expr) |
| | Cast an exprt to an update_bit_exprt.
|
| |
| template<> |
| bool | can_cast_expr< update_bits_exprt > (const exprt &base) |
| |
| const update_bits_exprt & | to_update_bits_expr (const exprt &expr) |
| | Cast an exprt to an update_bits_exprt.
|
| |
| update_bits_exprt & | to_update_bits_expr (exprt &expr) |
| | Cast an exprt to an update_bits_exprt.
|
| |
| template<> |
| bool | can_cast_expr< replication_exprt > (const exprt &base) |
| |
| void | validate_expr (const replication_exprt &value) |
| |
| const replication_exprt & | to_replication_expr (const exprt &expr) |
| | Cast an exprt to a replication_exprt.
|
| |
| replication_exprt & | to_replication_expr (exprt &expr) |
| | Cast an exprt to a replication_exprt.
|
| |
| template<> |
| bool | can_cast_expr< concatenation_exprt > (const exprt &base) |
| |
| const concatenation_exprt & | to_concatenation_expr (const exprt &expr) |
| | Cast an exprt to a concatenation_exprt.
|
| |
| concatenation_exprt & | to_concatenation_expr (exprt &expr) |
| | Cast an exprt to a concatenation_exprt.
|
| |
| template<> |
| bool | can_cast_expr< popcount_exprt > (const exprt &base) |
| |
| void | validate_expr (const popcount_exprt &value) |
| |
| const popcount_exprt & | to_popcount_expr (const exprt &expr) |
| | Cast an exprt to a popcount_exprt.
|
| |
| popcount_exprt & | to_popcount_expr (exprt &expr) |
| | Cast an exprt to a popcount_exprt.
|
| |
| template<> |
| bool | can_cast_expr< binary_overflow_exprt > (const exprt &base) |
| |
| void | validate_expr (const binary_overflow_exprt &value) |
| |
| const binary_overflow_exprt & | to_binary_overflow_expr (const exprt &expr) |
| | Cast an exprt to a binary_overflow_exprt.
|
| |
| binary_overflow_exprt & | to_binary_overflow_expr (exprt &expr) |
| | Cast an exprt to a binary_overflow_exprt.
|
| |
| template<> |
| bool | can_cast_expr< plus_overflow_exprt > (const exprt &base) |
| |
| template<> |
| bool | can_cast_expr< minus_overflow_exprt > (const exprt &base) |
| |
| template<> |
| bool | can_cast_expr< mult_overflow_exprt > (const exprt &base) |
| |
| template<> |
| bool | can_cast_expr< shl_overflow_exprt > (const exprt &base) |
| |
| template<> |
| bool | can_cast_expr< unary_overflow_exprt > (const exprt &base) |
| |
| void | validate_expr (const unary_overflow_exprt &value) |
| |
| template<> |
| bool | can_cast_expr< unary_minus_overflow_exprt > (const exprt &base) |
| |
| void | validate_expr (const unary_minus_overflow_exprt &value) |
| |
| const unary_overflow_exprt & | to_unary_overflow_expr (const exprt &expr) |
| | Cast an exprt to a unary_overflow_exprt.
|
| |
| unary_overflow_exprt & | to_unary_overflow_expr (exprt &expr) |
| | Cast an exprt to a unary_overflow_exprt.
|
| |
| template<> |
| bool | can_cast_expr< count_leading_zeros_exprt > (const exprt &base) |
| |
| void | validate_expr (const count_leading_zeros_exprt &value) |
| |
| const count_leading_zeros_exprt & | to_count_leading_zeros_expr (const exprt &expr) |
| | Cast an exprt to a count_leading_zeros_exprt.
|
| |
| count_leading_zeros_exprt & | to_count_leading_zeros_expr (exprt &expr) |
| | Cast an exprt to a count_leading_zeros_exprt.
|
| |
| template<> |
| bool | can_cast_expr< count_trailing_zeros_exprt > (const exprt &base) |
| |
| void | validate_expr (const count_trailing_zeros_exprt &value) |
| |
| const count_trailing_zeros_exprt & | to_count_trailing_zeros_expr (const exprt &expr) |
| | Cast an exprt to a count_trailing_zeros_exprt.
|
| |
| count_trailing_zeros_exprt & | to_count_trailing_zeros_expr (exprt &expr) |
| | Cast an exprt to a count_trailing_zeros_exprt.
|
| |
| template<> |
| bool | can_cast_expr< bitreverse_exprt > (const exprt &base) |
| |
| void | validate_expr (const bitreverse_exprt &value) |
| |
| const bitreverse_exprt & | to_bitreverse_expr (const exprt &expr) |
| | Cast an exprt to a bitreverse_exprt.
|
| |
| bitreverse_exprt & | to_bitreverse_expr (exprt &expr) |
| | Cast an exprt to a bitreverse_exprt.
|
| |
| template<> |
| bool | can_cast_expr< saturating_plus_exprt > (const exprt &base) |
| |
| void | validate_expr (const saturating_plus_exprt &value) |
| |
| const saturating_plus_exprt & | to_saturating_plus_expr (const exprt &expr) |
| | Cast an exprt to a saturating_plus_exprt.
|
| |
| saturating_plus_exprt & | to_saturating_plus_expr (exprt &expr) |
| | Cast an exprt to a saturating_plus_exprt.
|
| |
| template<> |
| bool | can_cast_expr< saturating_minus_exprt > (const exprt &base) |
| |
| void | validate_expr (const saturating_minus_exprt &value) |
| |
| const saturating_minus_exprt & | to_saturating_minus_expr (const exprt &expr) |
| | Cast an exprt to a saturating_minus_exprt.
|
| |
| saturating_minus_exprt & | to_saturating_minus_expr (exprt &expr) |
| | Cast an exprt to a saturating_minus_exprt.
|
| |
| template<> |
| bool | can_cast_expr< overflow_result_exprt > (const exprt &base) |
| |
| void | validate_expr (const overflow_result_exprt &value) |
| |
| const overflow_result_exprt & | to_overflow_result_expr (const exprt &expr) |
| | Cast an exprt to a overflow_result_exprt.
|
| |
| overflow_result_exprt & | to_overflow_result_expr (exprt &expr) |
| | Cast an exprt to a overflow_result_exprt.
|
| |
| template<> |
| bool | can_cast_expr< find_first_set_exprt > (const exprt &base) |
| |
| void | validate_expr (const find_first_set_exprt &value) |
| |
| const find_first_set_exprt & | to_find_first_set_expr (const exprt &expr) |
| | Cast an exprt to a find_first_set_exprt.
|
| |
| find_first_set_exprt & | to_find_first_set_expr (exprt &expr) |
| | Cast an exprt to a find_first_set_exprt.
|
| |
| template<> |
| bool | can_cast_expr< zero_extend_exprt > (const exprt &base) |
| |
| const zero_extend_exprt & | to_zero_extend_expr (const exprt &expr) |
| | Cast an exprt to a zero_extend_exprt.
|
| |
| zero_extend_exprt & | to_zero_extend_expr (exprt &expr) |
| | Cast an exprt to a zero_extend_exprt.
|
| |
| const onehot_exprt & | to_onehot_expr (const exprt &expr) |
| | Cast an exprt to a onehot_exprt.
|
| |
| onehot_exprt & | to_onehot_expr (exprt &expr) |
| | Cast an exprt to a onehot_exprt.
|
| |
| const onehot0_exprt & | to_onehot0_expr (const exprt &expr) |
| | Cast an exprt to a onehot0_exprt.
|
| |
| onehot0_exprt & | to_onehot0_expr (exprt &expr) |
| | Cast an exprt to a onehot0_exprt.
|
| |
Include dependency graph for bitvector_expr.h:
1.9.8