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

Constructor & Destructor Documentation

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