Ejemplos de SatSolver::getValue en C++ (Cpp)

Ejemplo n.º 1

Archivo: satTest.cpp Proyecto: ShannonKuo/Candy-Game

void reportResult(const SatSolver& solver, bool result)
{
   solver.printStats();
   cout << (result? "SAT" : "UNSAT") << endl;
   if (result) {
      for (size_t i = 0, n = gates.size(); i < n; ++i)
         cout << solver.getValue(gates[i]->getVar()) << endl;
   }
}

Ejemplo n.º 2

Archivo: cirCEC.cpp Proyecto: paramoecium/EDA_project

void 
CirMgr::doSimBySAT(const SatSolver& s)
{
   unsigned* simValue = new unsigned[_piList.size()];
   for (unsigned i = 0, m=_piList.size(); i<m; ++i){
      int temp = s.getValue(getGateById(_piList[i])->getVar());
      if (temp == -1) temp = 0;
      simValue[i] = temp + (rand() & ~1u);
   }
   checkFec(simValue);
   delete[] simValue;
}