Searched refs:BranchSelector (Results 1 – 3 of 3) sorted by relevance
8 class BranchSelector: class
1034 void SetBranchSelector(Solver::BranchSelector bs);1081 Solver::BranchSelector selector_;1136 explicit ApplyBranchSelector(Solver::BranchSelector bs) in ApplyBranchSelector()1148 Solver::BranchSelector const selector_;1152 void Search::SetBranchSelector(Solver::BranchSelector bs) { in SetBranchSelector()1156 void Solver::SetBranchSelector(BranchSelector bs) { in SetBranchSelector()1171 DecisionBuilder* Solver::MakeApplyBranchSelector(BranchSelector bs) { in MakeApplyBranchSelector()
752 typedef std::function<DecisionModification()> BranchSelector; typedef2817 void SetBranchSelector(BranchSelector bs);2820 DecisionBuilder* MakeApplyBranchSelector(BranchSelector bs);