 |
Painless
A framework to ease parallelization of sequential CDCL SAT solvers
|
Loading...
Searching...
No Matches
|
Painless
A framework to ease parallelization of sequential CDCL SAT solvers
|
This is the complete list of members for PortfolioSimple, including all inherited members.
| addSlave(WorkingStrategy *slave) (defined in WorkingStrategy) | WorkingStrategy | inlinevirtual |
| cdclSolvers (defined in PortfolioSimple) | PortfolioSimple | protected |
| globalStrategies (defined in PortfolioSimple) | PortfolioSimple | protected |
| join(WorkingStrategy *strat, SatResult res, const std::vector< int > &model) override (defined in PortfolioSimple) | PortfolioSimple | virtual |
| localSolvers (defined in PortfolioSimple) | PortfolioSimple | protected |
| localStrategies (defined in PortfolioSimple) | PortfolioSimple | protected |
| parent (defined in WorkingStrategy) | WorkingStrategy | protected |
| PortfolioSimple() (defined in PortfolioSimple) | PortfolioSimple | |
| setSolverInterrupt() override (defined in PortfolioSimple) | PortfolioSimple | virtual |
| sharers (defined in PortfolioSimple) | PortfolioSimple | protected |
| slaves (defined in WorkingStrategy) | WorkingStrategy | protected |
| solve(const std::vector< int > &cube) override (defined in PortfolioSimple) | PortfolioSimple | virtual |
| strategyEnding (defined in PortfolioSimple) | PortfolioSimple | protected |
| unsetSolverInterrupt() override (defined in PortfolioSimple) | PortfolioSimple | virtual |
| waitInterrupt() override (defined in PortfolioSimple) | PortfolioSimple | virtual |
| WorkingStrategy() (defined in WorkingStrategy) | WorkingStrategy | inline |
| ~PortfolioSimple() (defined in PortfolioSimple) | PortfolioSimple | |
| ~WorkingStrategy() (defined in WorkingStrategy) | WorkingStrategy | inlinevirtual |
Generated by 
1.12.0
Doxygen Theme by doxygen-awesome