Home
last modified time | relevance | path

Searched refs:_var_order (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dxchaff_solver.cpp153 _var_order.resize( num_variables()); in init()
170 _var_order.push_back(pair<int, int>(i,0)); in add_variables()
609 _var_order[i-1] = pair<int, int>(i, var.score()); in update_var_stats()
611 ::stable_sort(_var_order.begin(), _var_order.end(), compare_var_stat); in update_var_stats()
612 for (unsigned i=0; i<_var_order.size(); ++i) in update_var_stats()
613 variable(_var_order[i].first).var_score_pos() = i; in update_var_stats()
635 for (i=_max_score_pos; i<_var_order.size(); ++i) { in decide_next_branch()
636 var_idx = _var_order[i].first; in decide_next_branch()
652 var_idx = _var_order[index].first; in decide_next_branch()
H A Dxchaff_solver.h162 vector<pair<int,int> >_var_order; variable
/dports/devel/automake/automake-1.16.5/lib/Automake/
H A DVariable.pm141 my @_var_order;
351 @_var_order = ();
1038 push @_var_order, $var;
1237 my @vars = uniq @_var_order;
/dports/devel/automake/automake-1.16.5/old/
H A DChangeLog.031081 * Variable.pm (_var_order, msg_cond_var): Typo in comment.
1853 (var_order): Delete. Now Automake::Variable::_var_order.