cprover
Loading...
Searching...
No Matches
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< statetmake (locationt l) const override
Public Member Functions inherited from ai_domain_factoryt< variable_sensitivity_domaint >
std::unique_ptr< statetcopy (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: