C++ (Cpp) generalizeProof Examples

Example #1

File: v3sVrfIPDR2.cpp Project: SillyDuck/V3

void
V3SVrfIPDR::generalization2(V3SIPDRTimedCube& generalizedCube) {
   if(heavy_debug){
      cerr << "UNSAT, generalizing... Frame before gen:" << generalizedCube.first << " Cube before gen:";
      printState(generalizedCube.second->getState());
   }

   removeFromProof2(generalizedCube);
   generalizeProof(generalizedCube);
   forwardProof(generalizedCube);

   if(heavy_debug){
      cerr << "After generalize... Frame after gen:" << generalizedCube.first << " Cube after gen:";
      printState(generalizedCube.second->getState());
   }
}

Example #2

File: v3VrfMPDR.cpp Project: chengyinwu/V3

void
V3VrfMPDR::generalization(V3MPDRTimedCube& generalizedCube) {
   removeFromProof(generalizedCube, false);
   generalizeProof(generalizedCube);
   forwardProof(generalizedCube);
}