Factory class for creating and managing sharing strategies. More...

Collaboration diagram for SharingStrategyFactory:

Static Public Member Functions
static void	instantiateLocalStrategies (int strategyNumber, std::vector< std::shared_ptr< SharingStrategy > > &localStrategies, std::vector< std::shared_ptr< SolverCdclInterface > > &cdclSolvers)
	Instantiate local sharing strategies.

static void	instantiateGlobalStrategies (int strategyNumber, std::vector< std::shared_ptr< GlobalSharingStrategy > > &globalStrategies)
	Instantiate global sharing strategies.

static void	launchSharers (std::vector< std::shared_ptr< SharingStrategy > > &sharingStrategies, std::vector< std::unique_ptr< Sharer > > &sharers)
	Launch sharer threads for the given sharing strategies.

static void	addEntitiesToLocal (std::vector< std::shared_ptr< SharingStrategy > > &localStrategies, std::vector< std::shared_ptr< SolverCdclInterface > > &newSolvers)
	Add new entities (solvers) to existing local strategies.

Static Public Attributes
static int	selectedLocal
	The selected local sharing strategy number.

static int	selectedGlobal
	The selected global sharing strategy number.

Detailed Description

Factory class for creating and managing sharing strategies.

Member Function Documentation

static void SharingStrategyFactory::addEntitiesToLocal	(	std::vector< std::shared_ptr< SharingStrategy > > &	localStrategies,
		std::vector< std::shared_ptr< SolverCdclInterface > > &	newSolvers )

static

Add new entities (solvers) to existing local strategies.

Parameters

localStrategies	Vector of existing local strategies.
newSolvers	Vector of new CDCL solvers to be added.

static void SharingStrategyFactory::instantiateGlobalStrategies	(	int	strategyNumber,
		std::vector< std::shared_ptr< GlobalSharingStrategy > > &	globalStrategies )

static

Instantiate global sharing strategies.

Parameters

strategyNumber	The number of the strategy to instantiate.
globalStrategies	Vector to store the created global strategies.

static void SharingStrategyFactory::instantiateLocalStrategies	(	int	strategyNumber,
		std::vector< std::shared_ptr< SharingStrategy > > &	localStrategies,
		std::vector< std::shared_ptr< SolverCdclInterface > > &	cdclSolvers )

static

Instantiate local sharing strategies.

Parameters

strategyNumber	The number of the strategy to instantiate.
localStrategies	Vector to store the created local strategies.
cdclSolvers	Vector of CDCL solvers to be used in the strategies.

static void SharingStrategyFactory::launchSharers	(	std::vector< std::shared_ptr< SharingStrategy > > &	sharingStrategies,
		std::vector< std::unique_ptr< Sharer > > &	sharers )

static

Launch sharer threads for the given sharing strategies.

Parameters

sharingStrategies	Vector of sharing strategies to be executed.
sharers	Vector to store the created sharer objects.

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