Home
last modified time | relevance | path

Searched refs:vmtf (Results 1 – 16 of 16) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsolvertypes.h54 ,vmtf enumerator
92 case branch::vmtf: in branch_type_to_string()
112 case branch::vmtf: in branch_type_to_int()
H A Dsearcher.cpp195 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 Dsearcher.h483 case branch::vmtf:
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsolvertypes.h54 ,vmtf enumerator
92 case branch::vmtf: in branch_type_to_string()
112 case branch::vmtf: in branch_type_to_int()
H A Dsearcher.cpp195 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 Dsearcher.h483 case branch::vmtf: in insert_var_order()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/
H A Ddecision_heuristic_test.cpp263 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 Ddecision_heuristic_test.cpp263 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 Ddecision_heuristic_test.cpp263 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 Drobots.lp100 :- 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 Dclasp-option-template.inl68 @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 Dclasp-option-template.inl68 @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 Dclasp-option-template.inl68 @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 Dclasp_cli_options.inl202 MAP("berkmin", Heuristic_t::Berkmin), MAP("vmtf" , Heuristic_t::Vmtf), \
/dports/math/clasp/clasp-3.3.5/clasp/cli/
H A Dclasp_cli_options.inl202 MAP("berkmin", Heuristic_t::Berkmin), MAP("vmtf" , Heuristic_t::Vmtf), \
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/cli/
H A Dclasp_cli_options.inl202 MAP("berkmin", Heuristic_t::Berkmin), MAP("vmtf" , Heuristic_t::Vmtf), \