value_set_tag Class Reference

#include <abstract_object_set.h>

Inheritance diagram for value_set_tag:

Public Member Functions
virtual const abstract_object_sett &	get_values () const =0

Detailed Description

Definition at line 97 of file abstract_object_set.h.

Member Function Documentation

get_values()

virtual const abstract_object_sett& value_set_tag::get_values ( ) const

pure virtual

Implemented in value_set_pointer_abstract_objectt, and value_set_abstract_objectt.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/abstract_object_set.h