cprover
value_set_abstract_value.h File Reference

Value sets for primitives. More...

#include <analyses/variable-sensitivity/abstract_object.h>
#include <unordered_set>
+ Include dependency graph for value_set_abstract_value.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  value_set_abstract_valuet
 

Detailed Description

Value sets for primitives.

Definition in file value_set_abstract_value.h.