Java SolverProcess.exit Exemples

Exemple #1

Fichier : Solver_simplify.java Projet : smtlib/jSMTLIB

 @Override
 public IResponse exit() {
   solverProcess.exit();
   if (smtConfig.verbose != 0) smtConfig.log.logDiag("Ended simplify ");
   // process = null;
   return super.exit();
 }