/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | solvertypes.h | 54 ,vmtf enumerator 92 case branch::vmtf: in branch_type_to_string() 112 case branch::vmtf: in branch_type_to_int()
|
H A D | searcher.cpp | 195 case branch::vmtf: in add_lit_to_learnt() 891 case branch::vmtf: in analyze_conflict() 1202 case branch::vmtf: in print_order_heap() 2288 size_t vmtf = conf.branch_strategy_setup.find("vmtf", start); in set_branch_strategy() local 2289 smallest = std::min(vmtf, smallest); in set_branch_strategy() 2325 else if (smallest == vmtf) { in set_branch_strategy() 2326 select[total++]= branch_type_total(branch::vmtf, 0, 0, "VMTF", "vmt"); in set_branch_strategy() 2887 case branch::vmtf: in pickBranchLit() 3750 case branch::vmtf: in check_var_in_branch_strategy() 3954 case branch::vmtf: in bump_var_importance()
|
H A D | searcher.h | 483 case branch::vmtf:
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | solvertypes.h | 54 ,vmtf enumerator 92 case branch::vmtf: in branch_type_to_string() 112 case branch::vmtf: in branch_type_to_int()
|
H A D | searcher.cpp | 195 case branch::vmtf: in add_lit_to_learnt() 891 case branch::vmtf: in analyze_conflict() 1202 case branch::vmtf: in print_order_heap() 2288 size_t vmtf = conf.branch_strategy_setup.find("vmtf", start); in set_branch_strategy() local 2289 smallest = std::min(vmtf, smallest); in set_branch_strategy() 2325 else if (smallest == vmtf) { in set_branch_strategy() 2326 select[total++]= branch_type_total(branch::vmtf, 0, 0, "VMTF", "vmt"); in set_branch_strategy() 2887 case branch::vmtf: in pickBranchLit() 3750 case branch::vmtf: in check_var_in_branch_strategy() 3954 case branch::vmtf: in bump_var_importance()
|
H A D | searcher.h | 483 case branch::vmtf: in insert_var_order()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
H A D | decision_heuristic_test.cpp | 263 ClaspVmtf vmtf; variable 264 ctx.master()->setHeuristic(&vmtf, Ownership_t::Retain); 269 REQUIRE(vmtf.select(s)); 271 REQUIRE(vmtf.select(s)); 273 REQUIRE_FALSE(vmtf.select(s));
|
/dports/math/clasp/clasp-3.3.5/tests/ |
H A D | decision_heuristic_test.cpp | 263 ClaspVmtf vmtf; variable 264 ctx.master()->setHeuristic(&vmtf, Ownership_t::Retain); 269 REQUIRE(vmtf.select(s)); 271 REQUIRE(vmtf.select(s)); 273 REQUIRE_FALSE(vmtf.select(s));
|
/dports/math/clingo/clingo-5.5.1/clasp/tests/ |
H A D | decision_heuristic_test.cpp | 263 ClaspVmtf vmtf; variable 264 ctx.master()->setHeuristic(&vmtf, Ownership_t::Retain); 269 REQUIRE(vmtf.select(s)); 271 REQUIRE(vmtf.select(s)); 273 REQUIRE_FALSE(vmtf.select(s));
|
/dports/math/clingo/clingo-5.5.1/app/clingo/tests/lua/ |
H A D | robots.lp | 100 :- instance(1), not position(red, 5,2,t), volatile(t). % red moon: 9, vmtf 107 :- instance(8), not position(yellow, 11,8,t), volatile(t). % yellow saturn: 13, vmtf??
|
/dports/math/clasp/clasp-3.3.5/tools/ |
H A D | clasp-option-template.inl | 68 @1:1:vmtf:heuristic VALS(R(1,128), L(0,4,8,16,32,64,128))[8]T(il) # Conditional - heuristic=vmtf 180 @1:1:vmtf:heuristic | @1:0:heuristic in {Vmtf}
|
/dports/math/clingo/clingo-5.5.1/clasp/tools/ |
H A D | clasp-option-template.inl | 68 @1:1:vmtf:heuristic VALS(R(1,128), L(0,4,8,16,32,64,128))[8]T(il) # Conditional - heuristic=vmtf 180 @1:1:vmtf:heuristic | @1:0:heuristic in {Vmtf}
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tools/ |
H A D | clasp-option-template.inl | 68 @1:1:vmtf:heuristic VALS(R(1,128), L(0,4,8,16,32,64,128))[8]T(il) # Conditional - heuristic=vmtf 180 @1:1:vmtf:heuristic | @1:0:heuristic in {Vmtf}
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/cli/ |
H A D | clasp_cli_options.inl | 202 MAP("berkmin", Heuristic_t::Berkmin), MAP("vmtf" , Heuristic_t::Vmtf), \
|
/dports/math/clasp/clasp-3.3.5/clasp/cli/ |
H A D | clasp_cli_options.inl | 202 MAP("berkmin", Heuristic_t::Berkmin), MAP("vmtf" , Heuristic_t::Vmtf), \
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/cli/ |
H A D | clasp_cli_options.inl | 202 MAP("berkmin", Heuristic_t::Berkmin), MAP("vmtf" , Heuristic_t::Vmtf), \
|