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

Go to the source code of this file.

Classes

class  empty_index_ranget
 
class  indeterminate_index_ranget
 

Functions

index_range_ptrt make_empty_index_range ()
 
index_range_ptrt make_indeterminate_index_range ()
 

Function Documentation

◆ make_empty_index_range()

index_range_ptrt make_empty_index_range ( )

Definition at line 52 of file abstract_value_object.cpp.

◆ make_indeterminate_index_range()

index_range_ptrt make_indeterminate_index_range ( )

Definition at line 57 of file abstract_value_object.cpp.