CBMC
refined_string_type.h File Reference

Type for string expressions used by the string solver. More...

#include "cprover_prefix.h"
#include "std_types.h"
+ Include dependency graph for refined_string_type.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  refined_string_typet
 

Functions

bool is_refined_string_type (const typet &type)
 
const refined_string_typetto_refined_string_type (const typet &type)
 

Detailed Description

Type for string expressions used by the string solver.

These string expressions contain a field length, of type index_type, a field content of type content_type. This module also defines functions to recognise the C and java string types.

Definition in file refined_string_type.h.

Function Documentation

◆ is_refined_string_type()

bool is_refined_string_type ( const typet type)
inline

Definition at line 54 of file refined_string_type.h.

◆ to_refined_string_type()

const refined_string_typet& to_refined_string_type ( const typet type)
inline

Definition at line 61 of file refined_string_type.h.