refined_string_type.h File Reference

#include "cprover_prefix.h"
#include "pointer_expr.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_typet &	to_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 52 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 59 of file refined_string_type.h.