clingo
|
Parameter-Object for configuring a solver. More...
#include <solver_strategies.h>
Public Member Functions | |
SolverParams () | |
uint32 | prepare () |
Public Member Functions inherited from Clasp::SolverStrategies | |
SolverStrategies () | |
void | prepare () |
Public Attributes | |
uint32 | seed |
uint32 | heuParam: 16 |
uint32 | lookOps: 16 |
uint32 | optStrat: 4 |
uint32 | heuId: 3 |
uint32 | heuOther: 2 |
uint32 | heuReinit: 1 |
uint32 | heuMoms: 1 |
uint32 | berkHuang: 1 |
uint32 | berkOnce: 1 |
uint32 | unitNant: 1 |
uint32 | lookType: 2 |
uint32 | loopRep: 2 |
uint32 | ccMinRec: 1 |
uint32 | dropLearnt: 2 |
uint32 | domPref: 6 |
uint32 | domMod: 3 |
uint32 | reserved: 2 |
Public Attributes inherited from Clasp::SolverStrategies | |
uint32 | compress: 16 |
uint32 | saveProgress: 16 |
uint32 | reverseArcs: 2 |
uint32 | otfs: 2 |
uint32 | updateLbd: 2 |
uint32 | ccMinAntes: 2 |
uint32 | ccRepMode: 2 |
uint32 | initWatches: 2 |
uint32 | optHeu: 2 |
uint32 | upMode: 1 |
uint32 | bumpVarAct: 1 |
uint32 | search: 1 |
uint32 | restartOnModel: 1 |
uint32 | signDef: 3 |
uint32 | signFix: 1 |
uint32 | loadCfg: 1 |
uint32 | id: 6 |
uint32 | heuReserved: 3 |
Additional Inherited Members | |
Public Types inherited from Clasp::SolverStrategies | |
enum | SearchStrategy { use_learning = 0, no_learning = 1 } |
Clasp's two general search strategies. More... | |
enum | SignHeu { sign_atom = 0, sign_no = 1, sign_yes = 2, sign_rnd = 3, sign_disj = 4 } |
Default sign heuristic. More... | |
enum | CCMinAntes { no_antes = 0, all_antes = 1, short_antes = 2, binary_antes = 3 } |
Antecedents to consider during conflict clause minimization. More... | |
enum | CCRepMode { cc_no_replace = 0, cc_rep_decision = 1, cc_rep_uip = 2, cc_rep_dynamic = 3 } |
Simplifications for long conflict clauses. More... | |
enum | OptHeu { opt_sign = 1, opt_model = 2 } |
enum | OptStrategy { opt_def = 0, opt_hier = 1, opt_inc = 2, opt_dec = 3, opt_unsat = 4, opt_unsat_pre = 5, opt_unsat_imp = 6, opt_unsat_cl = 8 } |
Strategy to use when optimization is active. More... | |
enum | WatchInit { watch_first = 0, watch_rand = 1, watch_least = 2 } |
enum | UpdateMode { update_on_propagate = 0, update_on_conflict = 1 } |
Parameter-Object for configuring a solver.
Clasp::SolverParams::SolverParams | ( | ) |
uint32 Clasp::SolverParams::prepare | ( | ) |
uint32 Clasp::SolverParams::berkHuang |
Only for Berkmin.
uint32 Clasp::SolverParams::berkOnce |
Only for Berkmin.
uint32 Clasp::SolverParams::ccMinRec |
If 1, use more expensive recursive nogood minimization.
uint32 Clasp::SolverParams::domMod |
Only for domain heuristic.
uint32 Clasp::SolverParams::domPref |
Only for domain heuristic.
uint32 Clasp::SolverParams::dropLearnt |
Forget learnt 1=nogood scores 2=ngoods on problem update.
uint32 Clasp::SolverParams::heuId |
Type of decision heuristic.
uint32 Clasp::SolverParams::heuMoms |
Use MOMS-score as top-level heuristic.
uint32 Clasp::SolverParams::heuOther |
Consider other learnt nogoods in heuristic (0=no, 1=loops, 2=all, 3=let heuristic decide).
uint32 Clasp::SolverParams::heuParam |
Extra parameter for heuristic with meaning depending on type
uint32 Clasp::SolverParams::heuReinit |
Force reinitialization of heuristic in incremental setting.
uint32 Clasp::SolverParams::lookOps |
Max. number of lookahead operations (0: no limit).
uint32 Clasp::SolverParams::lookType |
Type of lookahead operations.
uint32 Clasp::SolverParams::loopRep |
How to represent loops?
uint32 Clasp::SolverParams::optStrat |
Optimization strategy.
uint32 Clasp::SolverParams::reserved |
uint32 Clasp::SolverParams::seed |
Seed for the random number generator.
uint32 Clasp::SolverParams::unitNant |
Only for unit.