Tracks the user-supplied configuration for VSD and build the correct type of abstract object when needed. More...

#include "abstract_object.h"
#include "variable_sensitivity_configuration.h"

Include dependency graph for variable_sensitivity_object_factory.h:

This graph shows which files directly or indirectly include this file:

Classes
class	variable_sensitivity_object_factoryt

Typedefs
using	variable_sensitivity_object_factory_ptrt = std::shared_ptr< variable_sensitivity_object_factoryt >

Detailed Description

Tracks the user-supplied configuration for VSD and build the correct type of abstract object when needed.

Note this is a factory within the domain and so is lower-level than the abstract domain factory that is part of the ai_baset interface.

Typedef Documentation