allocate_exprt Member List

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

binary_exprt::add(const irep_idt &name)	irept
binary_exprt::add(const irep_idt &name, irept irep)	irept
ternary_exprt::add(const irep_idt &name)	irept
ternary_exprt::add(const irep_idt &name, irept irep)	irept
binary_exprt::add_expr(const irep_idt &name)	exprt	inlineprotected
ternary_exprt::add_expr(const irep_idt &name)	exprt	inlineprotected
binary_exprt::add_source_location()	exprt	inline
ternary_exprt::add_source_location()	exprt	inline
binary_exprt::add_to_operands(const exprt &expr)	exprt	inline
binary_exprt::add_to_operands(exprt &&expr)	exprt	inline
binary_exprt::add_to_operands(exprt &&e1, exprt &&e2)	exprt	inline
binary_exprt::add_to_operands(exprt &&e1, exprt &&e2, exprt &&e3)	exprt	inline
ternary_exprt::add_to_operands(const exprt &expr)	exprt	inline
ternary_exprt::add_to_operands(exprt &&expr)	exprt	inline
ternary_exprt::add_to_operands(exprt &&e1, exprt &&e2)	exprt	inline
ternary_exprt::add_to_operands(exprt &&e1, exprt &&e2, exprt &&e3)	exprt	inline
address() const	allocate_exprt	inline
allocate_exprt(exprt state, exprt size, pointer_typet type)	allocate_exprt	inline
allocate_exprt(exprt state, exprt address, exprt size)	allocate_exprt	inline
binary_exprt::baset typedef	irept
ternary_exprt::baset typedef	irept
binary_exprt(const exprt &_lhs, const irep_idt &_id, exprt _rhs)	binary_exprt	inline
binary_exprt(exprt _lhs, const irep_idt &_id, exprt _rhs, typet _type)	binary_exprt	inline
binary_exprt::check(const exprt &expr, const validation_modet vm=validation_modet::INVARIANT)	binary_exprt	inlinestatic
ternary_exprt::check(const exprt &expr, const validation_modet vm=validation_modet::INVARIANT)	ternary_exprt	inlinestatic
binary_exprt::clear()	irept	inline
ternary_exprt::clear()	irept	inline
binary_exprt::compare(const irept &i) const	irept
ternary_exprt::compare(const irept &i) const	irept
binary_exprt::copy_to_operands(const exprt &expr)	exprt	inline
ternary_exprt::copy_to_operands(const exprt &expr)	exprt	inline
binary_exprt::data	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
ternary_exprt::data	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
binary_exprt::depth_begin()	exprt
binary_exprt::depth_begin() const	exprt
binary_exprt::depth_begin(std::function< exprt &()> mutate_root) const	exprt
ternary_exprt::depth_begin()	exprt
ternary_exprt::depth_begin() const	exprt
ternary_exprt::depth_begin(std::function< exprt &()> mutate_root) const	exprt
binary_exprt::depth_cbegin() const	exprt
ternary_exprt::depth_cbegin() const	exprt
binary_exprt::depth_cend() const	exprt
ternary_exprt::depth_cend() const	exprt
binary_exprt::depth_end()	exprt
binary_exprt::depth_end() const	exprt
ternary_exprt::depth_end()	exprt
ternary_exprt::depth_end() const	exprt
binary_exprt::detach()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
ternary_exprt::detach()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
binary_exprt::drop_source_location()	exprt	inline
ternary_exprt::drop_source_location()	exprt	inline
binary_exprt::dt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
ternary_exprt::dt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
binary_exprt::empty_d	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
ternary_exprt::empty_d	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
binary_exprt::expr_protectedt(irep_idt _id, typet _type)	expr_protectedt	inlineprotected
binary_exprt::expr_protectedt(irep_idt _id, typet _type, operandst _operands)	expr_protectedt	inlineprotected
ternary_exprt::expr_protectedt(irep_idt _id, typet _type)	expr_protectedt	inlineprotected
ternary_exprt::expr_protectedt(irep_idt _id, typet _type, operandst _operands)	expr_protectedt	inlineprotected
binary_exprt::exprt()	exprt	inline
binary_exprt::exprt(const irep_idt &_id)	exprt	inlineexplicit
binary_exprt::exprt(irep_idt _id, typet _type)	exprt	inline
binary_exprt::exprt(irep_idt _id, typet _type, operandst &&_operands)	exprt	inline
binary_exprt::exprt(const irep_idt &id, typet type, source_locationt loc)	exprt	inline
ternary_exprt::exprt()	exprt	inline
ternary_exprt::exprt(const irep_idt &_id)	exprt	inlineexplicit
ternary_exprt::exprt(irep_idt _id, typet _type)	exprt	inline
ternary_exprt::exprt(irep_idt _id, typet _type, operandst &&_operands)	exprt	inline
ternary_exprt::exprt(const irep_idt &id, typet type, source_locationt loc)	exprt	inline
binary_exprt::find(const irep_idt &name) const	irept
ternary_exprt::find(const irep_idt &name) const	irept
binary_exprt::find_expr(const irep_idt &name) const	exprt	inlineprotected
ternary_exprt::find_expr(const irep_idt &name) const	exprt	inlineprotected
binary_exprt::find_source_location() const	exprt
ternary_exprt::find_source_location() const	exprt
binary_exprt::full_eq(const irept &other) const	irept
ternary_exprt::full_eq(const irept &other) const	irept
binary_exprt::full_hash() const	irept
ternary_exprt::full_hash() const	irept
binary_exprt::get(const irep_idt &name) const	irept
ternary_exprt::get(const irep_idt &name) const	irept
binary_exprt::get_bool(const irep_idt &name) const	irept
ternary_exprt::get_bool(const irep_idt &name) const	irept
binary_exprt::get_int(const irep_idt &name) const	irept
ternary_exprt::get_int(const irep_idt &name) const	irept
binary_exprt::get_long_long(const irep_idt &name) const	irept
ternary_exprt::get_long_long(const irep_idt &name) const	irept
binary_exprt::get_named_sub()	irept	inline
binary_exprt::get_named_sub() const	irept	inline
ternary_exprt::get_named_sub()	irept	inline
ternary_exprt::get_named_sub() const	irept	inline
binary_exprt::get_size_t(const irep_idt &name) const	irept
ternary_exprt::get_size_t(const irep_idt &name) const	irept
binary_exprt::get_string(const irep_idt &name) const	irept	inline
ternary_exprt::get_string(const irep_idt &name) const	irept	inline
binary_exprt::get_sub()	irept	inline
binary_exprt::get_sub() const	irept	inline
ternary_exprt::get_sub()	irept	inline
ternary_exprt::get_sub() const	irept	inline
binary_exprt::has_operands() const	exprt	inline
ternary_exprt::has_operands() const	exprt	inline
binary_exprt::hash() const	irept
ternary_exprt::hash() const	irept
binary_exprt::id() const	irept	inline
binary_exprt::id(const irep_idt &_data)	irept	inline
ternary_exprt::id() const	irept	inline
ternary_exprt::id(const irep_idt &_data)	irept	inline
binary_exprt::id_string() const	irept	inline
ternary_exprt::id_string() const	irept	inline
binary_exprt::irept(const irep_idt &_id)	irept	inlineexplicit
binary_exprt::irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)	irept	inline
binary_exprt::irept()=default	irept
ternary_exprt::irept(const irep_idt &_id)	irept	inlineexplicit
ternary_exprt::irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)	irept	inline
ternary_exprt::irept()=default	irept
binary_exprt::is_boolean() const	exprt	inline
ternary_exprt::is_boolean() const	exprt	inline
binary_exprt::is_comment(const irep_idt &name)	irept	inlinestatic
ternary_exprt::is_comment(const irep_idt &name)	irept	inlinestatic
binary_exprt::is_constant() const	exprt	inline
ternary_exprt::is_constant() const	exprt	inline
binary_exprt::is_false() const	exprt
ternary_exprt::is_false() const	exprt
binary_exprt::is_nil() const	irept	inline
ternary_exprt::is_nil() const	irept	inline
binary_exprt::is_not_nil() const	irept	inline
ternary_exprt::is_not_nil() const	irept	inline
binary_exprt::is_one() const	exprt
ternary_exprt::is_one() const	exprt
binary_exprt::is_true() const	exprt
ternary_exprt::is_true() const	exprt
binary_exprt::is_zero() const	exprt
ternary_exprt::is_zero() const	exprt
lhs()	binary_exprt	inline
lhs() const	binary_exprt	inline
binary_exprt::make_nil()	irept	inline
ternary_exprt::make_nil()	irept	inline
binary_exprt::move_to_named_sub(const irep_idt &name, irept &irep)	irept
ternary_exprt::move_to_named_sub(const irep_idt &name, irept &irep)	irept
binary_exprt::move_to_sub(irept &irep)	irept
ternary_exprt::move_to_sub(irept &irep)	irept
binary_exprt::named_subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
ternary_exprt::named_subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
binary_exprt::nonrecursive_destructor(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
ternary_exprt::nonrecursive_destructor(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
binary_exprt::number_of_non_comments(const named_subt &)	irept	static
ternary_exprt::number_of_non_comments(const named_subt &)	irept	static
binary_exprt::op0()	binary_exprt	inline
binary_exprt::op0() const	binary_exprt	inline
binary_exprt::exprt::op0() const	exprt	inlineprotected
ternary_exprt::op0()	ternary_exprt	inline
exprt::op0() const	exprt	inlineprotected
binary_exprt::op1()	binary_exprt	inline
binary_exprt::op1() const	binary_exprt	inline
binary_exprt::exprt::op1() const	exprt	inlineprotected
ternary_exprt::op1()	ternary_exprt	inline
exprt::op1() const	exprt	inlineprotected
binary_exprt::op2() const =delete	binary_exprt
binary_exprt::op2()=delete	binary_exprt
ternary_exprt::op2()	ternary_exprt	inline
binary_exprt::op3() const =delete	binary_exprt
binary_exprt::op3()=delete	binary_exprt
ternary_exprt::op3() const =delete	ternary_exprt
ternary_exprt::op3()=delete	ternary_exprt
binary_exprt::operands()	exprt	inline
binary_exprt::operands() const	exprt	inline
ternary_exprt::operands()	exprt	inline
ternary_exprt::operands() const	exprt	inline
binary_exprt::operandst typedef	exprt
ternary_exprt::operandst typedef	exprt
binary_exprt::operator!=(const irept &other) const	irept	inline
ternary_exprt::operator!=(const irept &other) const	irept	inline
binary_exprt::operator<(const irept &other) const	irept
ternary_exprt::operator<(const irept &other) const	irept
binary_exprt::operator=(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::operator=(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::operator=(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::operator=(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::operator==(const irept &other) const	irept
ternary_exprt::operator==(const irept &other) const	irept
binary_exprt::ordering(const irept &other) const	irept
ternary_exprt::ordering(const irept &other) const	irept
binary_exprt::pretty(unsigned indent=0, unsigned max_indent=0) const	irept
ternary_exprt::pretty(unsigned indent=0, unsigned max_indent=0) const	irept
binary_exprt::read() const	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::read() const	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::remove(const irep_idt &name)	irept
ternary_exprt::remove(const irep_idt &name)	irept
binary_exprt::remove_ref(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
ternary_exprt::remove_ref(dt *old_data)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
binary_exprt::reserve_operands(operandst::size_type n)	exprt	inline
ternary_exprt::reserve_operands(operandst::size_type n)	exprt	inline
rhs()	binary_exprt	inline
rhs() const	binary_exprt	inline
binary_exprt::set(const irep_idt &name, const irep_idt &value)	irept	inline
binary_exprt::set(const irep_idt &name, irept irep)	irept	inline
binary_exprt::set(const irep_idt &name, const long long value)	irept
ternary_exprt::set(const irep_idt &name, const irep_idt &value)	irept	inline
ternary_exprt::set(const irep_idt &name, irept irep)	irept	inline
ternary_exprt::set(const irep_idt &name, const long long value)	irept
binary_exprt::set_size_t(const irep_idt &name, const std::size_t value)	irept
ternary_exprt::set_size_t(const irep_idt &name, const std::size_t value)	irept
binary_exprt::sharing_treet(irep_idt _id)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inlineexplicit
binary_exprt::sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::sharing_treet(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::sharing_treet(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::sharing_treet(irep_idt _id)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inlineexplicit
ternary_exprt::sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::sharing_treet(const sharing_treet &irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::sharing_treet(sharing_treet &&irep)	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
size() const	allocate_exprt	inline
size() const	allocate_exprt	inline
binary_exprt::source_location() const	exprt	inline
ternary_exprt::source_location() const	exprt	inline
state() const	allocate_exprt	inline
state()	allocate_exprt	inline
state() const	allocate_exprt	inline
state()	allocate_exprt	inline
binary_exprt::subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
ternary_exprt::subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
binary_exprt::swap(irept &irep)	irept	inline
ternary_exprt::swap(irept &irep)	irept	inline
ternary_exprt(const irep_idt &_id, exprt _op0, exprt _op1, exprt _op2, typet _type)	ternary_exprt	inline
binary_exprt::tree_implementationt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
ternary_exprt::tree_implementationt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
binary_exprt::type()	exprt	inline
binary_exprt::type() const	exprt	inline
ternary_exprt::type()	exprt	inline
ternary_exprt::type() const	exprt	inline
binary_exprt::unique_depth_begin() const	exprt
ternary_exprt::unique_depth_begin() const	exprt
binary_exprt::unique_depth_cbegin() const	exprt
ternary_exprt::unique_depth_cbegin() const	exprt
binary_exprt::unique_depth_cend() const	exprt
ternary_exprt::unique_depth_cend() const	exprt
binary_exprt::unique_depth_end() const	exprt
ternary_exprt::unique_depth_end() const	exprt
binary_exprt::validate(const exprt &expr, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)	binary_exprt	inlinestatic
ternary_exprt::validate(const exprt &expr, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)	ternary_exprt	inlinestatic
binary_exprt::validate_full(const exprt &expr, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)	exprt	inlinestatic
ternary_exprt::validate_full(const exprt &expr, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)	exprt	inlinestatic
binary_exprt::visit(class expr_visitort &visitor)	exprt
binary_exprt::visit(class const_expr_visitort &visitor) const	exprt
ternary_exprt::visit(class expr_visitort &visitor)	exprt
ternary_exprt::visit(class const_expr_visitort &visitor) const	exprt
binary_exprt::visit_post(std::function< void(exprt &)>)	exprt
binary_exprt::visit_post(std::function< void(const exprt &)>) const	exprt
ternary_exprt::visit_post(std::function< void(exprt &)>)	exprt
ternary_exprt::visit_post(std::function< void(const exprt &)>) const	exprt
binary_exprt::visit_pre(std::function< void(exprt &)>)	exprt
binary_exprt::visit_pre(std::function< void(const exprt &)>) const	exprt
ternary_exprt::visit_pre(std::function< void(exprt &)>)	exprt
ternary_exprt::visit_pre(std::function< void(const exprt &)>) const	exprt
binary_exprt::with_source_location(source_locationt location) &	exprt	inline
binary_exprt::with_source_location(source_locationt location) &&	exprt	inline
binary_exprt::with_source_location(const exprt &other) &	exprt	inline
binary_exprt::with_source_location(const exprt &other) &&	exprt	inline
ternary_exprt::with_source_location(source_locationt location) &	exprt	inline
ternary_exprt::with_source_location(source_locationt location) &&	exprt	inline
ternary_exprt::with_source_location(const exprt &other) &	exprt	inline
ternary_exprt::with_source_location(const exprt &other) &&	exprt	inline
with_state(exprt state) const	allocate_exprt	inline
binary_exprt::write()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::write()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
binary_exprt::~sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline
ternary_exprt::~sharing_treet()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	inline