Loading...

Searching...

No Matches

Public Member Functions | Private Attributes | List of all members

variable_sensitivity_dependence_domain_factoryt Class Reference

This ensures that all domains are constructed with the node ID that links them to the graph part of the dependency graph. More...

+ Inheritance diagram for variable_sensitivity_dependence_domain_factoryt:

[フレーム]

[legend]

+ Collaboration diagram for variable_sensitivity_dependence_domain_factoryt:

[フレーム]

[legend]

Public Member Functions

variable_sensitivity_dependence_domain_factoryt (variable_sensitivity_dependence_grapht &_dg, 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_dependence_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_dependence_grapht & dg

variable_sensitivity_object_factory_ptrt object_factory

const vsd_configt configuration

Additional Inherited Members

- Public Types inherited from ai_domain_factoryt< variable_sensitivity_dependence_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

This ensures that all domains are constructed with the node ID that links them to the graph part of the dependency graph.

Using a factory is a tad verbose but it works well with the ait infrastructure.

Definition at line 604 of file variable_sensitivity_dependence_graph.cpp.

Constructor & Destructor Documentation

◆ variable_sensitivity_dependence_domain_factoryt()

variable_sensitivity_dependence_domain_factoryt::variable_sensitivity_dependence_domain_factoryt ( variable_sensitivity_dependence_grapht & _dg,

variable_sensitivity_object_factory_ptrt _object_factory,

const vsd_configt & _configuration

)

inlineexplicit

Definition at line 608 of file variable_sensitivity_dependence_graph.cpp.

Member Function Documentation

◆ make()

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

inlineoverridevirtual

Implements ai_domain_factory_baset.

Definition at line 616 of file variable_sensitivity_dependence_graph.cpp.

Member Data Documentation

◆ configuration

const vsd_configt variable_sensitivity_dependence_domain_factoryt::configuration

private

Definition at line 630 of file variable_sensitivity_dependence_graph.cpp.

◆ dg

variable_sensitivity_dependence_grapht& variable_sensitivity_dependence_domain_factoryt::dg

private

Definition at line 628 of file variable_sensitivity_dependence_graph.cpp.

◆ object_factory

variable_sensitivity_object_factory_ptrt variable_sensitivity_dependence_domain_factoryt::object_factory

private

Definition at line 629 of file variable_sensitivity_dependence_graph.cpp.

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

/home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.cpp