CBMC
dep_graph_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 dep_graph_domain_factoryt:
+ Collaboration diagram for dep_graph_domain_factoryt:

Public Member Functions

 dep_graph_domain_factoryt (dependence_grapht &_dg, message_handlert &message_handler)
 
std::unique_ptr< statetmake (locationt l) const override
 
- Public Member Functions inherited from ai_domain_factoryt< dep_graph_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

dependence_graphtdg
 
message_handlertmessage_handler
 

Additional Inherited Members

- Public Types inherited from ai_domain_factoryt< dep_graph_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 341 of file dependence_graph.cpp.

Constructor & Destructor Documentation

◆ dep_graph_domain_factoryt()

dep_graph_domain_factoryt::dep_graph_domain_factoryt ( dependence_grapht _dg,
message_handlert message_handler 
)
inline

Definition at line 344 of file dependence_graph.cpp.

Member Function Documentation

◆ make()

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

Implements ai_domain_factory_baset.

Definition at line 351 of file dependence_graph.cpp.

Member Data Documentation

◆ dg

dependence_grapht& dep_graph_domain_factoryt::dg
private

Definition at line 362 of file dependence_graph.cpp.

◆ message_handler

message_handlert& dep_graph_domain_factoryt::message_handler
private

Definition at line 363 of file dependence_graph.cpp.


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