smt_casts.cpp File Reference

#include <solvers/smt/smt_solver.h>
#include <sstream>
#include <util/expr/base_type.h>
#include <util/expr/expr_util.h>
#include <util/message/message.h>
#include <util/message/format.h>

Include dependency graph for smt_casts.cpp:

Functions
static bool	can_carry_provenance (const type2tc &t)
static type2tc	capability_struct_type2 ()
static type2tc	capability_union_type2 ()
static expr2tc	capability_struct2 (const expr2tc &pesbt, const expr2tc &cursor)
static expr2tc	capability_struct_from_cap (const expr2tc &cap)
static expr2tc	capability_from_components (const expr2tc &pesbt, const expr2tc &cursor)

Function Documentation

can_carry_provenance()

bool can_carry_provenance ( const type2tc & t )

static

capability_from_components()

expr2tc capability_from_components ( const expr2tc & pesbt, const expr2tc & cursor )

static

capability_struct2()

expr2tc capability_struct2 ( const expr2tc & pesbt, const expr2tc & cursor )

static

capability_struct_from_cap()

expr2tc capability_struct_from_cap ( const expr2tc & cap )

static

capability_struct_type2()

type2tc capability_struct_type2 ( )

static

capability_union_type2()

type2tc capability_union_type2 ( )

static