Searched refs:push_todo (Results 1 – 13 of 13) sorted by relevance
1827 sub push_todo { subroutine1853 $self->push_todo(set_font => @params);1860 $self->push_todo(set_decoration => @params);1867 $self->push_todo(set_color => @params);1876 $self->push_todo(print_line => @params);1884 $self->push_todo(set_value => @params);1891 $self->push_todo(set_parameter => @params);1935 $self->push_todo(print => $text);1946 $self->push_todo(print => $word);1977 $self->push_todo( print => $word );
441 expr_ref_vector push_todo(m); in nnf_cnf() local453 push_todo.reset(); in nnf_cnf()456 apply_nnf(n, push_todo, push_todo_prs, r1, pr1); in nnf_cnf()459 push_todo.push_back(r1); in nnf_cnf()465 unsigned sz2 = push_todo.size(); in nnf_cnf()467 expr * n = push_todo.get(k); in nnf_cnf()
439 expr_ref_vector push_todo(m); in nnf_cnf() local451 push_todo.reset(); in nnf_cnf()454 apply_nnf(n, push_todo, push_todo_prs, r1, pr1); in nnf_cnf()457 push_todo.push_back(r1); in nnf_cnf()463 unsigned sz2 = push_todo.size(); in nnf_cnf()465 expr * n = push_todo.get(k); in nnf_cnf()
119 void push_todo(const boost::shared_ptr<MutatableImageComputerTask>&);
105 farm()->push_todo(task()); in run()
90 void MutatableImageComputerFarm::push_todo(const boost::shared_ptr<MutatableImageComputerTask>& tas… in push_todo() function in MutatableImageComputerFarm
335 farm().push_todo(task); in image_function()
594 void egraph::push_todo(enode* n) { in push_todo() function in euf::egraph616 push_todo(m_n1); in explain()617 push_todo(m_n2); in explain()
199 void push_todo(enode* n);
674 void egraph::push_todo(enode* n) { in push_todo() function in euf::egraph697 push_todo(m_n1); in explain()698 push_todo(m_n2); in explain()
217 void push_todo(enode* n);
107 sub push_todo { subroutine273 $self->push_todo(sub { $self->new_page(undef,$el->{Attributes}{"{}type"}{Value}) });
53 - MutatableImageComputer::push_todo could handle defer a bit better.