rsat.searchresults

最快速的可满足性分析工具软件

---- cc Matches (17 in 7 files) ----
Experimental_code.cpp:    if(my_m->cc>=1){
Experimental_code.cpp:    }//end if cc>1
Kb_management.cpp:  c->index = -(++my_m->cc);
Main.cpp:    if(my_m->cc>=1){//315
Main.cpp:    }//end if cc>1
Parse_input.cpp:  int cc,vc;
Parse_input.cpp:      if(sscanf(line,"p cnf %d %d",&vc,&cc)==2){//vc cc represent the nums of variable and clause ,respectively
Parse_input.cpp:	m->original_clauses = (my_clause**)calloc(cc,sizeof(my_clause*));
Parse_input.cpp:	m->cc = cc;
Parse_input.cpp:	//m->cc is not finalized yet (we may skip clauses)
Parse_input.cpp:  m->cc = cur_clause_index;       //original value.
Parse_input.cpp:  if(cur_clause_index!=cc){
Structures.h:  int64 cc;  //number of original clauses (after some simplification in read_cnf)
Utils.cpp:  rprintf("CNF stats: (%d vars, %"i64d" clauses)\n",my_m->vc,my_m->cc);
Watched_list.cpp:  size = my_m->cc;