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

Go to the source code of this file.

Functions

static void merge_all_possible_results (std::shared_ptr< const value_set_abstract_valuet > &out_value, const exprt &expr, const std::vector< const value_set_abstract_valuet * > &operand_value_sets, const namespacet &ns, std::vector< exprt > &operands_so_far)
 
static std::shared_ptr< const value_set_abstract_valuetmerge_all_possible_results (const exprt &expr, const std::vector< const value_set_abstract_valuet * > &operand_value_sets, const namespacet &ns)
 

Function Documentation

◆ merge_all_possible_results() [1/2]

static std::shared_ptr<const value_set_abstract_valuet> merge_all_possible_results ( const exprt expr,
const std::vector< const value_set_abstract_valuet * > &  operand_value_sets,
const namespacet ns 
)
static

Definition at line 175 of file value_set_abstract_value.cpp.

◆ merge_all_possible_results() [2/2]

static void merge_all_possible_results ( std::shared_ptr< const value_set_abstract_valuet > &  out_value,
const exprt expr,
const std::vector< const value_set_abstract_valuet * > &  operand_value_sets,
const namespacet ns,
std::vector< exprt > &  operands_so_far 
)
static

Definition at line 130 of file value_set_abstract_value.cpp.