Java SolverProcess.exitの例

コード例 #1

ファイル: Solver_simplify.java プロジェクト: smtlib/jSMTLIB

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