C++ (Cpp) filter_model Examples

Example #1

File: test-model.c Project: rib/clutter

static void
iterate (ClutterModel *model)
{
  ClutterModelIter *iter;
  
  iter = clutter_model_get_first_iter (model);

  while (!clutter_model_iter_is_last (iter))
    {
      print_iter (iter, "Forward Iteration");
      iter = clutter_model_iter_next (iter);
    }
  g_object_unref (iter);

  iter = clutter_model_get_last_iter (model);  
  do
    {
      print_iter (iter, "Reverse Iteration");
      iter = clutter_model_iter_prev (iter);
    }
  while (!clutter_model_iter_is_first (iter));
  
  print_iter (iter, "Reverse Iteration");
  g_object_unref (iter);

  filter_model (model);
}

Example #2

File: enum2bv_solver.cpp Project: AleksandarZeljic/z3

 virtual void get_model(model_ref & mdl) { 
     m_solver->get_model(mdl);
     if (mdl) {
         extend_model(mdl);
         filter_model(mdl);            
     }
 }