Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
SharingStrategyFactory Member List

This is the complete list of members for SharingStrategyFactory, including all inherited members.

addEntitiesToLocal(std::vector< std::shared_ptr< SharingStrategy > > &localStrategies, std::vector< std::shared_ptr< SolverCdclInterface > > &newSolvers)SharingStrategyFactorystatic
instantiateGlobalStrategies(int strategyNumber, std::vector< std::shared_ptr< GlobalSharingStrategy > > &globalStrategies)SharingStrategyFactorystatic
instantiateLocalStrategies(int strategyNumber, std::vector< std::shared_ptr< SharingStrategy > > &localStrategies, std::vector< std::shared_ptr< SolverCdclInterface > > &cdclSolvers)SharingStrategyFactorystatic
launchSharers(std::vector< std::shared_ptr< SharingStrategy > > &sharingStrategies, std::vector< std::unique_ptr< Sharer > > &sharers)SharingStrategyFactorystatic
selectedGlobalSharingStrategyFactorystatic
selectedLocalSharingStrategyFactorystatic