19 #ifndef CPROVER_UTIL_REFINED_STRING_TYPE_H 20 #define CPROVER_UTIL_REFINED_STRING_TYPE_H 53 type.
id()==ID_struct &&
The type of an expression.
const typet & get_char_type() const
const componentst & components() const
const irep_idt & id() const
const refined_string_typet & to_refined_string_type(const typet &type)
#define PRECONDITION(CONDITION)
const typet & get_content_type() const
const typet & get_index_type() const
bitvector_typet index_type()
const struct_typet & to_struct_type(const typet &type)
Cast a generic typet to a struct_typet.
bool is_refined_string_type(const typet &type)
const typet & subtype() const
refined_string_typet(const typet &index_type, const typet &char_type)
bitvector_typet char_type()