Home
last modified time | relevance | path

Searched refs:E_GREEDY (Results 1 – 3 of 3) sorted by relevance

/dports/math/chuffed/chuffed-e04bedd/chuffed/mdd/
H A Dopts.h7 enum ExplAlg { E_MINIMAL, E_GREEDY, E_NAIVE }; enumerator
12 : expl_alg(E_GREEDY), expl_strat(E_KEEP), decomp(D_PROP) in MDDOpts()
24 expl_alg = E_GREEDY; in parse_arg()
H A Dwmdd_prop.cpp1484 if(opts.expl_alg == MDDOpts::E_GREEDY) in explain()
1503 if(opts.expl_alg == MDDOpts::E_GREEDY) in explain()
H A Dmdd_prop.cpp250 if(opts.expl_alg == MDDOpts::E_GREEDY) in genReason()