Commits

Shlomi Fish  committed d3c3ead

Rename a variable a_star_or_bfs => is_scan_befs_or_bfs .

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2858 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

  • Participants
  • Parent commits 05f914c

Comments (0)

Files changed (1)

File fc-solve/source/instance.h

 
     ST_LOOP_START()
     {
-        int a_star_or_bfs = 0;
+        int is_scan_befs_or_bfs = 0;
 
         switch (soft_thread->method)
         {
             case FCS_METHOD_A_STAR:
-                a_star_or_bfs = 1;
+                is_scan_befs_or_bfs = 1;
                 /* Free the priority queue. It will be reallocated by
                  * fc_solve_soft_thread_init_befs_or_bfs() .
                  * */
 
             case FCS_METHOD_BFS:
             case FCS_METHOD_OPTIMIZE:
-                a_star_or_bfs = 1;
+                is_scan_befs_or_bfs = 1;
                 /* Reset the BFS Queue (also used for the optimization scan. */
                 fc_solve_free_bfs_queue(soft_thread);
                 break;
 
         }
 
-        if (a_star_or_bfs)
+        if (is_scan_befs_or_bfs)
         {
             free (soft_thread->method_specific.befs.tests_list);
             soft_thread->method_specific.befs.tests_list = NULL;