示例#1
0
static void dimacs_print_clause_vector(FILE *f, clause_t **vector) {
  uint32_t i, n;

  if (vector != NULL) {
    n = get_cv_size(vector);
    for (i=0; i<n; i++) {
      dimacs_print_clause(f, vector[i]);
    }
  }
}
示例#2
0
static void print_clause_vector(FILE *f, clause_t **vector) {
  uint32_t i, n;

  if (vector != NULL) {
    n = get_cv_size(vector);
    for (i=0; i<n; i++) {
      print_clause(f, vector[i]);
      fputc('\n', f);
    }
  }
}
示例#3
0
/*
 * Size of a clause vector (deal with the case v == NULL)
 */
static inline uint32_t cv_size(clause_t **v) {
  return v == NULL ? 0 : get_cv_size(v);
}