cprover
java_generic_parametert Member List

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()typetinline
add_type(const irep_namet &name)typetinline
bitvector_typet(const irep_idt &_id)bitvector_typetinlineexplicit
bitvector_typet(const irep_idt &_id, std::size_t width)bitvector_typetinline
check(const typet &type, const validation_modet vm=validation_modet::INVARIANT)bitvector_typetinlinestatic
clear()ireptinline
compare(const irept &i) constirept
dataireptprotected
detach()ireptprotected
difference_type() constpointer_typetinline
empty_direptprotectedstatic
find(const irep_namet &name) constirept
find_type(const irep_namet &name) consttypetinline
full_eq(const irept &other) constirept
full_hash() constirept
get(const irep_namet &name) constirept
get_bool(const irep_namet &name) constirept
get_comments()ireptinline
get_comments() constireptinline
get_int(const irep_namet &name) constirept
get_long_long(const irep_namet &name) constirept
get_name() constjava_generic_parametertinline
get_named_sub()ireptinline
get_named_sub() constireptinline
get_size_t(const irep_namet &name) constirept
get_string(const irep_namet &name) constireptinline
get_sub()ireptinline
get_sub() constireptinline
get_unsigned_int(const irep_namet &name) constirept
get_width() constbitvector_typetinline
has_subtype() consttypetinline
has_subtypes() consttypetinline
hash() constirept
id() constireptinline
id(const irep_idt &_data)ireptinline
id_string() constireptinline
irept(const irep_idt &_id)ireptinlineexplicit
irept()ireptinline
irept(const irept &irep)ireptinline
irept(irept &&irep)ireptinline
is_comment(const irep_namet &name)ireptinlineprotectedstatic
is_nil() constireptinline
is_not_nil() constireptinline
java_generic_parametert(const irep_idt &_type_var_name, const struct_tag_typet &_bound)java_generic_parametertinline
make_nil()ireptinline
move_to_named_sub(const irep_namet &name, irept &irep)irept
move_to_sub(irept &irep)irept
named_subt typedefirept
nonrecursive_destructor(dt *old_data)ireptprotectedstatic
operator!=(const irept &other) constireptinline
operator<(const irept &other) constirept
operator=(const irept &irep)ireptinline
operator=(irept &&irep)ireptinline
operator==(const irept &other) constirept
ordering(const irept &other) constirept
pointer_typet(const typet &_subtype, std::size_t width)pointer_typetinline
pretty(unsigned indent=0, unsigned max_indent=0) constirept
read() constireptinline
reference_typet(const typet &_subtype, std::size_t _width)reference_typetinline
remove(const irep_namet &name)irept
remove_ref(dt *old_data)ireptprotectedstatic
remove_subtype()typetinline
set(const irep_namet &name, const irep_idt &value)ireptinline
set(const irep_namet &name, const irept &irep)ireptinline
set(const irep_namet &name, const long long value)irept
set_width(std::size_t width)bitvector_typetinline
source_location() consttypetinline
subt typedefirept
subtype() consttypetinline
subtype()typetinline
swap(irept &irep)ireptinline
type_variable() constjava_generic_parametertinline
type_variable_ref()java_generic_parametertinline
type_variables() constjava_generic_parametertinlineprivate
type_variables()java_generic_parametertinlineprivate
type_variablest typedefjava_generic_parametertprivate
type_variablet typedefjava_generic_parametert
typet()typetinline
typet(const irep_idt &_id)typetinlineexplicit
typet(const irep_idt &_id, const typet &_subtype)typetinline
validate(const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)typetinlinestatic
validate_full(const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)typetinlinestatic
write()ireptinline
~irept()ireptinline