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

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

addSlave(WorkingStrategy *slave) (defined in WorkingStrategy)WorkingStrategyinlinevirtual
computeNodeGroup(int worldSize, int myRank) (defined in PortfolioPRS)PortfolioPRSprotected
join(WorkingStrategy *strat, SatResult res, const std::vector< int > &model) override (defined in PortfolioPRS)PortfolioPRSvirtual
left_neighbor (defined in PortfolioPRS)PortfolioPRSprotected
nodeGroup (defined in PortfolioPRS)PortfolioPRSprotected
parent (defined in WorkingStrategy)WorkingStrategyprotected
PortfolioPRS() (defined in PortfolioPRS)PortfolioPRS
preprocessors (defined in PortfolioPRS)PortfolioPRSprotected
preprocLock (defined in PortfolioPRS)PortfolioPRSprotected
preprocSignal (defined in PortfolioPRS)PortfolioPRSprotected
rankInMyGroup (defined in PortfolioPRS)PortfolioPRSprotected
restoreModelDist(std::vector< int > &model) (defined in PortfolioPRS)PortfolioPRSprotected
right_neighbor (defined in PortfolioPRS)PortfolioPRSprotected
setSolverInterrupt() override (defined in PortfolioPRS)PortfolioPRSvirtual
sharers (defined in PortfolioPRS)PortfolioPRSprotected
sizePerGroup (defined in PortfolioPRS)PortfolioPRSprotected
slaves (defined in WorkingStrategy)WorkingStrategyprotected
solve(const std::vector< int > &cube) override (defined in PortfolioPRS)PortfolioPRSvirtual
solversPortfolio (defined in PortfolioPRS)PortfolioPRSprotected
strategies (defined in PortfolioPRS)PortfolioPRSprotected
strategyEnding (defined in PortfolioPRS)PortfolioPRSprotected
unsetSolverInterrupt() override (defined in PortfolioPRS)PortfolioPRSvirtual
waitInterrupt() override (defined in PortfolioPRS)PortfolioPRSvirtual
WorkingStrategy() (defined in WorkingStrategy)WorkingStrategyinline
~PortfolioPRS() (defined in PortfolioPRS)PortfolioPRS
~WorkingStrategy() (defined in WorkingStrategy)WorkingStrategyinlinevirtual