/[ascend]/trunk/solvers/cmslv/cmslv.c
ViewVC logotype

Diff of /trunk/solvers/cmslv/cmslv.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2325 by jpye, Wed Dec 15 06:35:43 2010 UTC revision 2326 by jpye, Tue Dec 21 11:35:07 2010 UTC
# Line 587  static void restore_original_bool_values Line 587  static void restore_original_bool_values
587    
588  #endif /* if 0 */  #endif /* if 0 */
589    
590    #if 0 /* unused function */
591  /*  /*
592   * the first element of cur_cases is in position one. The result is   * the first element of cur_cases is in position one. The result is
593   * the same array, but ordered and starting in position zero   * the same array, but ordered and starting in position zero
# Line 610  void cases_reorder(int32 *cur_cases, int Line 611  void cases_reorder(int32 *cur_cases, int
611    
612    return;    return;
613  }  }
614    #endif
615    
616  #if 0 /** unused function eligible_set_for_neighboring_subregions */  #if 0 /** unused function eligible_set_for_neighboring_subregions */
617  /* might appear if debug_consistency is true. */  /* might appear if debug_consistency is true. */
# Line 686  static struct gl_list_t *get_list_of_boo Line 688  static struct gl_list_t *get_list_of_boo
688    
689  #endif /* 0*/  #endif /* 0*/
690    
691    #if 0 /* unused functions */
692  /*  /*
693   * Get the eligible var list for each alternative   * Get the eligible var list for each alternative
694   * Return:   * Return:
# Line 798  int32 get_eligible_set(slv_system_t serv Line 801  int32 get_eligible_set(slv_system_t serv
801    
802    return 1;    return 1;
803  }  }
804    #endif
805    
806    #if 0 /* unused functions */
807  /*  /*
808   * Get the eligible set of variables for each of the alternatives generated   * Get the eligible set of variables for each of the alternatives generated
809   * by modifying the values of the boolean variables with the values stored   * by modifying the values of the boolean variables with the values stored
# Line 893  int32 do_search_alternatives(slv_system_ Line 898  int32 do_search_alternatives(slv_system_
898    
899    return 1;    return 1;
900  }  }
901    #endif
902    
903    #if 0 /* unused functions */
904  /*  /*
905   * Perform consistency analysis for the visited/current-previous subregions.   * Perform consistency analysis for the visited/current-previous subregions.
906   * If all_subs is 1, the analysis takes in account all of the subregions   * If all_subs is 1, the analysis takes in account all of the subregions
# Line 1027  int32 consistency(slv_system_t server, S Line 1033  int32 consistency(slv_system_t server, S
1033      return 0;      return 0;
1034    }    }
1035  }  }
1036    #endif
1037    
1038  #if 0 /** unused function eligible_set_for_neighboring_subregions */  #if 0 /** unused function eligible_set_for_neighboring_subregions */
1039  /* might appear if debug_consistency is true. */  /* might appear if debug_consistency is true. */

Legend:
Removed from v.2325  
changed lines
  Added in v.2326

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22