CBMC
Public Member Functions | Private Attributes | List of all members
variable_sensitivity_domain_factoryt Class Reference

#include <variable_sensitivity_domain.h>

+ Inheritance diagram for variable_sensitivity_domain_factoryt:
+ Collaboration diagram for variable_sensitivity_domain_factoryt:

Public Member Functions

 variable_sensitivity_domain_factoryt (variable_sensitivity_object_factory_ptrt _object_factory, const vsd_configt &_configuration)
 
std::unique_ptr< statet > make (locationt l) const override
 
- Public Member Functions inherited from ai_domain_factoryt< variable_sensitivity_domaint >
std::unique_ptr< statet > copy (const statet &s) const override
 
bool merge (statet &dest, const statet &src, trace_ptrt from, trace_ptrt to) const override
 
- Public Member Functions inherited from ai_domain_factory_baset
virtual ~ai_domain_factory_baset ()
 

Private Attributes

variable_sensitivity_object_factory_ptrt object_factory
 
const vsd_configt configuration
 

Additional Inherited Members

- Public Types inherited from ai_domain_factoryt< variable_sensitivity_domaint >
typedef ai_domain_factory_baset::statet statet
 
typedef ai_domain_factory_baset::locationt locationt
 
typedef ai_domain_factory_baset::trace_ptrt trace_ptrt
 
- Public Types inherited from ai_domain_factory_baset
typedef ai_domain_baset statet
 
typedef ai_domain_baset::locationt locationt
 
typedef ai_domain_baset::trace_ptrt trace_ptrt
 

Detailed Description

Definition at line 254 of file variable_sensitivity_domain.h.

Constructor & Destructor Documentation

◆ variable_sensitivity_domain_factoryt()

variable_sensitivity_domain_factoryt::variable_sensitivity_domain_factoryt ( variable_sensitivity_object_factory_ptrt  _object_factory,
const vsd_configt &  _configuration 
)
inlineexplicit

Definition at line 258 of file variable_sensitivity_domain.h.

Member Function Documentation

◆ make()

std::unique_ptr<statet> variable_sensitivity_domain_factoryt::make ( locationt  l) const
inlineoverridevirtual

Implements ai_domain_factory_baset.

Definition at line 265 of file variable_sensitivity_domain.h.

Member Data Documentation

◆ configuration

const vsd_configt variable_sensitivity_domain_factoryt::configuration
private

Definition at line 275 of file variable_sensitivity_domain.h.

◆ object_factory

variable_sensitivity_object_factory_ptrt variable_sensitivity_domain_factoryt::object_factory
private

Definition at line 274 of file variable_sensitivity_domain.h.

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