static int getClauses(Definition def, ClauseRef *refp0) { ClauseRef cref, *refp = refp0; for(cref = def->definition.clauses; cref; cref = cref->next) { if ( visibleClause(cref->clause, GD->generation) ) *refp++ = cref; } return (int)(refp - refp0); }
static int getClauses(Definition def, ClauseRef *refp, int max) { ClauseRef cref; int found = 0; for(cref = def->impl.clauses.first_clause; cref; cref = cref->next) { if ( visibleClause(cref->value.clause, GD->generation) ) { if ( found < max ) refp[found] = cref; found++; } } return found; }
static int getClauses(Definition def, ClauseRef *refp, int max) { GET_LD ClauseRef cref; int found = 0; acquire_def(def); for(cref = def->impl.clauses.first_clause; cref; cref = cref->next) { if ( visibleClause(cref->value.clause, global_generation()) ) { if ( found < max ) refp[found] = cref; found++; } } release_def(def); return found; }