Ejemplos de visibleClause en C++ (Cpp)

Ejemplo n.º 1

Archivo: pl-supervisor.c Proyecto: lamby/pkg-swi-prolog

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);
}

Ejemplo n.º 2

Archivo: pl-supervisor.c Proyecto: AaronZhangL/swipl-devel

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;
}

Ejemplo n.º 3

Archivo: pl-supervisor.c Proyecto: SWI-Prolog/swipl-devel

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;
}