ai_domain_factory_baset Class Reference

#include <ai_domain.h>

Inheritance diagram for ai_domain_factory_baset:

Public Types
typedef ai_domain_baset	statet
typedef ai_domain_baset::locationt	locationt
typedef ai_domain_baset::trace_ptrt	trace_ptrt

Public Member Functions
virtual	~ai_domain_factory_baset ()
virtual std::unique_ptr< statet >	make (locationt l) const =0
virtual std::unique_ptr< statet >	copy (const statet &s) const =0
virtual bool	merge (statet &dest, const statet &src, trace_ptrt from, trace_ptrt to) const =0

Detailed Description

Definition at line 170 of file ai_domain.h.

Member Typedef Documentation

locationt

typedef ai_domain_baset::locationt ai_domain_factory_baset::locationt

Definition at line 174 of file ai_domain.h.

statet

typedef ai_domain_baset ai_domain_factory_baset::statet

Definition at line 173 of file ai_domain.h.

trace_ptrt

typedef ai_domain_baset::trace_ptrt ai_domain_factory_baset::trace_ptrt

Definition at line 175 of file ai_domain.h.

Constructor & Destructor Documentation

~ai_domain_factory_baset()

virtual ai_domain_factory_baset::~ai_domain_factory_baset ( )

inlinevirtual

Definition at line 177 of file ai_domain.h.

Member Function Documentation

copy()

virtual std::unique_ptr<statet> ai_domain_factory_baset::copy ( const statet &  s ) const

pure virtual

Implemented in ai_domain_factoryt< domainT >, ai_domain_factoryt< invariant_set_domaint >, ai_domain_factoryt< rd_range_domaint >, ai_domain_factoryt< variable_sensitivity_domaint >, ai_domain_factoryt< variable_sensitivity_dependence_domaint >, and ai_domain_factoryt< dep_graph_domaint >.

make()

virtual std::unique_ptr<statet> ai_domain_factory_baset::make ( locationt  l ) const

pure virtual

Implemented in rd_range_domain_factoryt, variable_sensitivity_domain_factoryt, variable_sensitivity_dependence_domain_factoryt, invariant_set_domain_factoryt, dep_graph_domain_factoryt, ai_domain_factory_location_constructort< domainT >, and ai_domain_factory_default_constructort< domainT >.

merge()

virtual bool ai_domain_factory_baset::merge ( statet &  dest, const statet &  src, trace_ptrt  from, trace_ptrt  to  ) const

pure virtual

Implemented in ai_domain_factoryt< domainT >, ai_domain_factoryt< invariant_set_domaint >, ai_domain_factoryt< rd_range_domaint >, ai_domain_factoryt< variable_sensitivity_domaint >, ai_domain_factoryt< variable_sensitivity_dependence_domaint >, and ai_domain_factoryt< dep_graph_domaint >.

---

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

• /home/runner/work/cbmc/cbmc/src/analyses/ai_domain.h