cprover
abstract_environment.cpp File Reference
+ Include dependency graph for abstract_environment.cpp:

Go to the source code of this file.

Functions

std::vector< abstract_object_pointerteval_operands (const exprt &expr, const abstract_environmentt &env, const namespacet &ns)
 
static std::size_t count_globals (const namespacet &ns)
 

Function Documentation

◆ count_globals()

static std::size_t count_globals ( const namespacet ns)
static

Definition at line 438 of file abstract_environment.cpp.

◆ eval_operands()

std::vector< abstract_object_pointert > eval_operands ( const exprt expr,
const abstract_environmentt env,
const namespacet ns 
)

Definition at line 468 of file abstract_environment.cpp.