cprover
|
This is the complete list of members for java_generic_parametert, including all inherited members.
add(const irep_namet &name) | irept | |
add(const irep_namet &name, const irept &irep) | irept | |
add_source_location() | typet | inline |
add_type(const irep_namet &name) | typet | inline |
bitvector_typet(const irep_idt &_id) | bitvector_typet | inlineexplicit |
bitvector_typet(const irep_idt &_id, const typet &_subtype) | bitvector_typet | inline |
bitvector_typet(const irep_idt &_id, const typet &_subtype, std::size_t width) | bitvector_typet | inline |
bitvector_typet(const irep_idt &_id, std::size_t width) | bitvector_typet | inline |
clear() | irept | inline |
compare(const irept &i) const | irept | |
copy_to_subtypes(const typet &type) | typet | |
data | irept | protected |
detach() | irept | protected |
difference_type() const | pointer_typet | inline |
empty_d | irept | protectedstatic |
find(const irep_namet &name) const | irept | |
find_type(const irep_namet &name) const | typet | inline |
full_eq(const irept &other) const | irept | |
full_hash() const | irept | |
get(const irep_namet &name) const | irept | |
get_bool(const irep_namet &name) const | irept | |
get_comments() | irept | inline |
get_comments() const | irept | inline |
get_int(const irep_namet &name) const | irept | |
get_long_long(const irep_namet &name) const | irept | |
get_name() const | java_generic_parametert | inline |
get_named_sub() | irept | inline |
get_named_sub() const | irept | inline |
get_size_t(const irep_namet &name) const | irept | |
get_string(const irep_namet &name) const | irept | inline |
get_sub() | irept | inline |
get_sub() const | irept | inline |
get_unsigned_int(const irep_namet &name) const | irept | |
get_width() const | bitvector_typet | inline |
has_subtype() const | typet | inline |
has_subtypes() const | typet | 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() | irept | inline |
irept(const irept &irep) | irept | inline |
irept(irept &&irep) | irept | inline |
is_comment(const irep_namet &name) | irept | inlineprotectedstatic |
is_nil() const | irept | inline |
is_not_nil() const | irept | inline |
java_generic_parametert(const irep_idt &_type_var_name, const symbol_typet &_bound) | java_generic_parametert | inline |
make_nil() | irept | inline |
move_to_named_sub(const irep_namet &name, irept &irep) | irept | |
move_to_sub(irept &irep) | irept | |
move_to_subtypes(typet &type) | typet | |
named_subt typedef | irept | |
nonrecursive_destructor(dt *old_data) | irept | protectedstatic |
operator!=(const irept &other) const | irept | inline |
operator<(const irept &other) const | irept | |
operator=(const irept &irep) | irept | inline |
operator=(irept &&irep) | irept | inline |
operator==(const irept &other) const | irept | |
ordering(const irept &other) const | irept | |
pointer_typet(const typet &_subtype, std::size_t width) | pointer_typet | inline |
pretty(unsigned indent=0, unsigned max_indent=0) const | irept | |
read() const | irept | inline |
reference_typet(const typet &_subtype, std::size_t _width) | reference_typet | inline |
remove(const irep_namet &name) | irept | |
remove_ref(dt *old_data) | irept | protectedstatic |
remove_subtype() | typet | inline |
set(const irep_namet &name, const irep_idt &value) | irept | inline |
set(const irep_namet &name, const irept &irep) | irept | inline |
set(const irep_namet &name, const long long value) | irept | |
set_width(std::size_t width) | bitvector_typet | inline |
source_location() const | typet | inline |
subt typedef | irept | |
subtype() const | typet | inline |
subtype() | typet | inline |
subtypes() | typet | inline |
subtypes() const | typet | inline |
subtypest typedef | typet | |
swap(irept &irep) | irept | inline |
type_variable() const | java_generic_parametert | inline |
type_variable_ref() | java_generic_parametert | inline |
type_variables() const | java_generic_parametert | inlineprivate |
type_variables() | java_generic_parametert | inlineprivate |
type_variablest typedef | java_generic_parametert | private |
type_variablet typedef | java_generic_parametert | |
type_with_subtypet() | type_with_subtypet | inline |
type_with_subtypet(const irep_idt &_id) | type_with_subtypet | inlineexplicit |
type_with_subtypet(const irep_idt &_id, const typet &_subtype) | type_with_subtypet | inline |
typet() | typet | inline |
typet(const irep_idt &_id) | typet | inlineexplicit |
typet(const irep_idt &_id, const typet &_subtype) | typet | inline |
write() | irept | inline |
~irept() | irept | inline |