Searched refs:clausenum (Results 1 – 1 of 1) sorted by relevance
161 int clausenum; in readCnf() local227 clausenum = 0; in readCnf()257 clausenum++; in readCnf()258 (void) SCIPsnprintf(s, SCIP_MAXSTRLEN, "c%d", clausenum); in readCnf()340 if( clausenum != nclauses ) in readCnf()342 SCIPwarningMessage(scip, "expected %d clauses, but found %d\n", nclauses, clausenum); in readCnf()