CBMC: Member List

CBMC
Loading...
Searching...
No Matches
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
ternary_exprt::op0() ternary_exprt inline
ternary_exprt::op0() const ternary_exprt inline
binary_exprt::op1() binary_exprt inline
binary_exprt::op1() const binary_exprt inline
ternary_exprt::op1() ternary_exprt inline
ternary_exprt::op1() const ternary_exprt inline
binary_exprt::op2() const =delete binary_exprt
binary_exprt::op2()=delete binary_exprt
ternary_exprt::op2() ternary_exprt inline
ternary_exprt::op2() const 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

AltStyle によって変換されたページ (->オリジナル) /