value_setst Class Reference

#include <value_sets.h>

Inheritance diagram for value_setst:

Public Types
typedef std::list< expr2tc >	valuest
typedef goto_programt::const_targett	locationt

Public Member Functions
	value_setst ()=default
virtual void	get_values (locationtlocationt l, const expr2tc &expr, valuest &dest)=0
virtual void	get_reference_set (locationtlocationt l, const expr2tc &expr, valuest &dest)=0
	The objects a dereference-style l-value may refer to, as object_descriptor2ts (or a raw unknown/invalid expression when no nameable object could be determined).
virtual bool	has_location (locationtlocationt l) const =0
	True iff l carries points-to information; consumers must abstain when it does not.
virtual	~value_setst ()=default

Member Typedef Documentation

locationt

typedef goto_programt::const_targett value_setst::locationt

valuest

typedef std::list<expr2tc> value_setst::valuest

Constructor & Destructor Documentation

value_setst()

value_setst::value_setst ( )

default

~value_setst()

virtual value_setst::~value_setst ( )

virtualdefault

Member Function Documentation

get_reference_set()

virtual void value_setst::get_reference_set ( locationtlocationt l, const expr2tc & expr, valuest & dest )

pure virtual

The objects a dereference-style l-value may refer to, as object_descriptor2ts (or a raw unknown/invalid expression when no nameable object could be determined).

Implemented in andersent, and value_set_analysist.

get_values()

virtual void value_setst::get_values ( locationtlocationt l, const expr2tc & expr, valuest & dest )

pure virtual

Implemented in andersent, and value_set_analysist.

has_location()

virtual bool value_setst::has_location ( locationtlocationt l ) const

pure virtual

True iff l carries points-to information; consumers must abstain when it does not.

Implemented in andersent, and value_set_analysist.

---

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

• src/pointer-analysis/value_sets.h