 |
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 preprocess, including all inherited members.
| _simulate(Bitset **result, int bit_size) (defined in preprocess) | preprocess | |
| a (defined in preprocess) | preprocess | |
| abstract (defined in preprocess) | preprocess | |
| addClause(ClauseExchangePtr clause) | preprocess | inlinevirtual |
| addClauses(const std::vector< ClauseExchangePtr > &clauses) | preprocess | inlinevirtual |
| addInitialClauses(const std::vector< simpleClause > &clauses, unsigned int nbVariables) | preprocess | inlinevirtual |
| cal_dup_val(int i) (defined in preprocess) | preprocess | |
| card_elimination() (defined in preprocess) | preprocess | |
| card_one (defined in preprocess) | preprocess | |
| cdel (defined in preprocess) | preprocess | |
| cell (defined in preprocess) | preprocess | |
| check_card(int id) (defined in preprocess) | preprocess | |
| clause (defined in preprocess) | preprocess | |
| clause_delete (defined in preprocess) | preprocess | |
| clauses (defined in preprocess) | preprocess | |
| clean (defined in preprocess) | preprocess | |
| cnf2aig() (defined in preprocess) | preprocess | |
| color (defined in preprocess) | preprocess | |
| count (defined in preprocess) | preprocess | |
| diversify(const SeedGenerator &getSeed) | preprocess | inlinevirtual |
| do_epcec() (defined in preprocess) | preprocess | |
| ecc_var() (defined in preprocess) | preprocess | |
| ecc_xor() (defined in preprocess) | preprocess | |
| epcec_in (defined in preprocess) | preprocess | |
| epcec_out (defined in preprocess) | preprocess | |
| epcec_preprocess() (defined in preprocess) | preprocess | |
| epcec_rin (defined in preprocess) | preprocess | |
| f (defined in preprocess) | preprocess | |
| find(int x) (defined in preprocess) | preprocess | |
| find_fa(int x) (defined in preprocess) | preprocess | |
| fixed (defined in preprocess) | preprocess | |
| flag (defined in preprocess) | preprocess | |
| gate (defined in preprocess) | preprocess | |
| gauss_eli_binary (defined in preprocess) | preprocess | |
| gauss_eli_unit (defined in preprocess) | preprocess | |
| gauss_elimination() (defined in preprocess) | preprocess | |
| get_complete_model() (defined in preprocess) | preprocess | |
| getAlgoType() | SolverInterface | inline |
| getAndIncrementTypeCount() | SolverInterface | inlineprotectedstatic |
| getClausesCount() (defined in preprocess) | preprocess | inline |
| getDivisionVariable() | preprocess | inlinevirtual |
| getModel() override | preprocess | virtual |
| getPreprocessorStatistics() | preprocess | inlinevirtual |
| getSimplifiedFormula() | preprocess | inlinevirtual |
| getSolverId() | SolverInterface | inline |
| getSolverTypeCount() const | SolverInterface | inline |
| getSolverTypeId() | SolverInterface | inline |
| getVariablesCount() | preprocess | inlinevirtual |
| initializeTypeId() | SolverInterface | inlineprotected |
| inv_C (defined in preprocess) | preprocess | |
| isInitialized() | SolverInterface | inline |
| loadFormula(const char *filename) override | preprocess | virtual |
| m_algoType | SolverInterface | protected |
| m_initialized | SolverInterface | protected |
| m_solverId | SolverInterface | protected |
| m_solverTypeId | SolverInterface | protected |
| mapfrom (defined in preprocess) | preprocess | |
| mapto (defined in preprocess) | preprocess | |
| mapval (defined in preprocess) | preprocess | |
| mat (defined in preprocess) | preprocess | |
| maxClauseBinary (defined in preprocess) | preprocess | |
| maxClauseCard (defined in preprocess) | preprocess | |
| maxClauseCircuit (defined in preprocess) | preprocess | |
| maxClauseGauss (defined in preprocess) | preprocess | |
| maxClauseSizeXor (defined in preprocess) | preprocess | |
| maxlen (defined in preprocess) | preprocess | |
| maxvar (defined in preprocess) | preprocess | |
| maxVarCard (defined in preprocess) | preprocess | |
| maxVarCircuit (defined in preprocess) | preprocess | |
| maxVarGauss (defined in preprocess) | preprocess | |
| model (defined in preprocess) | preprocess | |
| nlit (defined in preprocess) | preprocess | |
| nxors (defined in preprocess) | preprocess | |
| nxtc (defined in preprocess) | preprocess | |
| occur (defined in preprocess) | preprocess | |
| occurn (defined in preprocess) | preprocess | |
| occurp (defined in preprocess) | preprocess | |
| oriclauses (defined in preprocess) | preprocess | |
| orivars (defined in preprocess) | preprocess | |
| preprocess(int id_) (defined in preprocess) | preprocess | |
| preprocess_binary() (defined in preprocess) | preprocess | |
| preprocess_binary_wrapper() (defined in preprocess) | preprocess | inline |
| preprocess_card() (defined in preprocess) | preprocess | |
| preprocess_card_wrapper() (defined in preprocess) | preprocess | inline |
| preprocess_circuit() (defined in preprocess) | preprocess | |
| preprocess_circuit_wrapper() (defined in preprocess) | preprocess | inline |
| preprocess_gauss() (defined in preprocess) | preprocess | |
| preprocess_gauss_wrapper() (defined in preprocess) | preprocess | inline |
| preprocess_init() (defined in preprocess) | preprocess | |
| preprocess_propagation_wrapper() (defined in preprocess) | preprocess | inline |
| preprocess_resolution() (defined in preprocess) | preprocess | |
| preprocess_resolution_wrapper() (defined in preprocess) | preprocess | inline |
| preprocess_up() (defined in preprocess) | preprocess | |
| PreprocessorInterface(PreprocessorAlgorithm algo, int id) | PreprocessorInterface | inline |
| preprocessors (defined in preprocess) | preprocess | |
| printParameters() | SolverInterface | virtual |
| printStatistics() | preprocess | inlinevirtual |
| printWinningLog() | SolverInterface | virtual |
| psign (defined in preprocess) | preprocess | |
| psum (defined in preprocess) | preprocess | |
| q (defined in preprocess) | preprocess | |
| releaseMemory() override | preprocess | virtual |
| rematch_and(int x) (defined in preprocess) | preprocess | |
| rematch_eql(int x) (defined in preprocess) | preprocess | |
| rematch_xor(int x) (defined in preprocess) | preprocess | |
| res_clause (defined in preprocess) | preprocess | |
| res_clauses (defined in preprocess) | preprocess | |
| res_is_empty(int var) (defined in preprocess) | preprocess | |
| resolution (defined in preprocess) | preprocess | |
| resolutions (defined in preprocess) | preprocess | |
| resseen (defined in preprocess) | preprocess | |
| restoreModel(std::vector< int > &model) | preprocess | inlinevirtual |
| rins (defined in preprocess) | preprocess | |
| s_instanceCounts | SolverInterface | inlineprotectedstatic |
| scc (defined in preprocess) | preprocess | |
| scc_almost_one() (defined in preprocess) | preprocess | |
| scc_id (defined in preprocess) | preprocess | |
| search_almost_one() (defined in preprocess) | preprocess | |
| search_xors() (defined in preprocess) | preprocess | |
| seen (defined in preprocess) | preprocess | |
| setInitialized(bool value) | SolverInterface | inline |
| setSolverId(unsigned int id) | SolverInterface | inline |
| setSolverInterrupt() | preprocess | inlinevirtual |
| setSolverTypeId(unsigned int typeId) | SolverInterface | inline |
| solve(const std::vector< int > &cube={}) override | preprocess | virtual |
| SolverInterface(SolverAlgorithmType algoType, int solverId) | SolverInterface | |
| topo_counter (defined in preprocess) | preprocess | |
| unsetSolverInterrupt() | preprocess | inlinevirtual |
| upd_occur(int v, int s) (defined in preprocess) | preprocess | |
| update_var_clause_label() (defined in preprocess) | preprocess | |
| used (defined in preprocess) | preprocess | |
| val (defined in preprocess) | preprocess | |
| vars (defined in preprocess) | preprocess | |
| varval (defined in preprocess) | preprocess | |
| xor_scc (defined in preprocess) | preprocess | |
| xors (defined in preprocess) | preprocess | |
| ~preprocess() (defined in preprocess) | preprocess | |
| ~SolverInterface() | SolverInterface | virtual |
Generated by 
1.12.0
Doxygen Theme by doxygen-awesome