ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sideeffect2t Member List

This is the complete list of members for sideeffect2t, including all inherited members.

allockind typedefsideeffect2t
alloctypesideeffect2t
argumentssideeffect2t
base_type typedefexpr2t
clear_writer() const noexceptirep2tinline
clone() constexpr2t
cmp(const expr2t &ref) constexpr2t
const_op_delegate typedefexpr2t
constructorsideeffect2t
container_type typedefexpr2t
crc() constexpr2t
crc_valexpr2tmutable
current_thread_tag() noexceptirep2tinlinestatic
do_simplify() constexpr2tvirtual
dump() constexpr2t
end_expr_id enum valueexpr2t
excluded_field_bytessideeffect2tstatic
expr2t(const type2tc &type, expr_ids id)expr2tprotected
expr2t(const expr2t &ref)expr2tprotected
expr_idexpr2t
expr_ids enum nameexpr2t
field_namessideeffect2tstatic
fieldssideeffect2tstatic
Foreach_operand(T &&t)expr2tinline
foreach_operand(T &&t) constexpr2tinline
foreach_operand_impl(op_delegate &expr)expr2tprotected
foreach_operand_impl_const(const_op_delegate &expr) constexpr2tprotected
get_num_sub_exprs() constexpr2t
get_sub_expr(size_t idx) constexpr2t
irep2t() noexceptirep2tinline
irep2t(const irep2t &) noexceptirep2tinline
kindsideeffect2t
locationsideeffect2t
lt(const expr2t &ref) constexpr2t
mark_writer() const noexceptirep2tinline
op_delegate typedefexpr2t
operandsideeffect2t
operator!=(const expr2t &ref) constexpr2t
operator<(const expr2t &ref) constexpr2t
operator=(const irep2t &)=deleteirep2t
operator==(const expr2t &ref) constexpr2t
pretty(unsigned int indent=0) constexpr2t
refcountirep2tmutable
sideeffect2t(const type2tc &t, const expr2tc &oper, const expr2tc &sz, const std::vector< expr2tc > &a, const type2tc &alloct, sideeffect_allockind k, const locationt &loc=locationt(), bool ctor=false)sideeffect2tinline
sideeffect2t(const sideeffect2t &ref)=defaultsideeffect2t
simplify() constexpr2t
simplify(bool suppress_reassoc) constexpr2t
sizesideeffect2t
tostring(unsigned int indent) constexpr2t
typeexpr2t
with_type(const type2tc &new_type) constexpr2t
writer_threadirep2tmutable
~expr2t()=defaultexpr2tvirtual
~irep2t()=defaultirep2tvirtual