array_conv.h File Reference

#include <functional>
#include <map>
#include <set>
#include <solvers/smt/smt_solver.h>
#include <irep2/irep2.h>

Include dependency graph for array_conv.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	array_ast
class	array_convt
struct	array_convt::index_map_rec
struct	array_convt::idx_record
struct	array_convt::array_select
struct	array_convt::array_equality
struct	array_convt::array_with
struct	array_convt::array_of_val_rec
struct	array_convt::touched_array

Functions
static bool	is_unbounded_array (const smt_sort *s)
static const array_ast *	array_downcast (const smt_ast *x)

Function Documentation

array_downcast()

const array_ast * array_downcast ( const smt_ast * x )

inlinestatic

is_unbounded_array()

bool is_unbounded_array ( const smt_sort * s )

inlinestatic