value_set_domaint Class Reference

#include <value_set_domain.h>

Inheritance diagram for value_set_domaint:

Public Member Functions
	value_set_domaint ()
	~value_set_domaint () override
	value_set_domaint (const value_set_domaint &ref)
virtual bool	merge (const value_set_domaint &other, bool keepnew)
void	output (const namespacet &ns, std::ostream &out) const override
void	initialize (const namespacet &ns, locationtlocationt l) override
void	transform (const namespacet &ns, locationtlocationt from_l, locationtlocationt to_l) override
void	get_reference_set (const namespacet &ns, const expr2tc &expr, value_setst::valuest &dest) override
Public Member Functions inherited from abstract_domain_baset
	abstract_domain_baset ()
virtual	~abstract_domain_baset ()=default
virtual void	get_reference_set (const namespacet &, const expr2tc &, std::list< expr2tc > &)

Public Attributes
value_sett *	value_set

Additional Inherited Members
Public Types inherited from abstract_domain_baset
typedef goto_programt::const_targett	locationt
Protected Member Functions inherited from abstract_domain_baset
expr2tc	get_guard (locationtlocationt from, locationtlocationt to) const
expr2tc	get_return_lhs (locationtlocationt to) const
Protected Attributes inherited from abstract_domain_baset
bool	seen

Constructor & Destructor Documentation

value_set_domaint() [1/2]

value_set_domaint::value_set_domaint ( )

inline

~value_set_domaint()

value_set_domaint::~value_set_domaint ( )

inlineoverride

value_set_domaint() [2/2]

value_set_domaint::value_set_domaint ( const value_set_domaint & ref )

inline

Member Function Documentation

get_reference_set()

void value_set_domaint::get_reference_set ( const namespacet & ns, const expr2tc & expr, value_setst::valuest & dest )

inlineoverride

initialize()

void value_set_domaint::initialize ( const namespacet & ns, locationtlocationt l )

inlineoverridevirtual

Implements abstract_domain_baset.

merge()

virtual bool value_set_domaint::merge ( const value_set_domaint & other, bool keepnew )

inlinevirtual

output()

void value_set_domaint::output ( const namespacet & ns, std::ostream & out ) const

inlineoverridevirtual

Reimplemented from abstract_domain_baset.

transform()

void value_set_domaint::transform ( const namespacet & ns, locationtlocationt from_l, locationtlocationt to_l )

overridevirtual

Implements abstract_domain_baset.

Member Data Documentation

value_set

value_sett* value_set_domaint::value_set

---

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

• src/pointer-analysis/value_set_domain.h
• src/pointer-analysis/value_set_domain.cpp