C++ (Cpp) picosat_failed_assumption Examples

Example #1

File: app.c Project: CZ-NIC/turris-updater

static void
write_failed_assumptions (PicoSAT * picosat, FILE * file)
{
  int i, lit, count = 0;
#ifndef NDEBUG
  int max_idx = picosat_variables (picosat);
#endif
  i = 0;
  while ((i = next_assumption (i))) {
    lit = atoi (sargv[i]);
    if (!picosat_failed_assumption (picosat, lit)) continue;
    fprintf (file, "%d\n", lit);
    count++;
  }
  if (verbose)
    fprintf (output, "c found and wrote %d failed assumptions\n", count);
#ifndef NDEBUG
  for (i = 1; i <= max_idx; i++)
    if (picosat_failed_assumption (picosat, i))
      count--;
#endif
  assert (!count);
}

Example #2

File: btorsat.c Project: hellok/kint

static int
btor_picosat_failed (BtorSATMgr * smgr, int lit)
{
  return picosat_failed_assumption (smgr->solver, lit);
}