java_instanceof_exprt Member List

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

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