alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

satsolver: use precise fstream class for input or output

Browse source 
* spot/misc/satsolver.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-02-16 16:03:10 +01:00
parent 22af7aefdf
commit 7078ab0af9
1 changed files with 5 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

11
spot/misc/satsolver.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et Développement // Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et
// de l'Epita. // Développement de l'Epita.
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
@ -91,7 +91,7 @@ namespace spot
if (filename[0] == '-' && filename[1] == 0) if (filename[0] == '-' && filename[1] == 0)
in = &std::cin; in = &std::cin;
else else
in = new std::fstream(filename, std::ios_base::in); in = new std::ifstream(filename);
int c; int c;
while ((c = in->get()) != EOF) while ((c = in->get()) != EOF)
@ -131,9 +131,8 @@ namespace spot
void satsolver::start() void satsolver::start()
{ {
cnf_tmp_ = create_tmpfile("sat-", ".cnf"); cnf_tmp_ = create_tmpfile("sat-", ".cnf");
cnf_stream_ = new std::fstream(cnf_tmp_->name(), cnf_stream_ = new std::ofstream(cnf_tmp_->name(), std::ios_base::trunc);
std::ios_base::trunc | std::ios_base::out); cnf_stream_->exceptions(std::ofstream::failbit | std::ofstream::badbit);
cnf_stream_->exceptions(std::ifstream::failbit | std::ifstream::badbit);
} }
satsolver::~satsolver() satsolver::~satsolver()