42 if(s.second.is_constant())
43 out <<
"c " << s.first <<
" " << (s.second.is_true() ?
"TRUE" :
"FALSE")
46 out <<
"c " << s.first <<
" " << s.second.dimacs() <<
"\n";
52 const auto &literal_map = m.second.literal_map;
54 if(literal_map.empty())
57 out <<
"c " << m.first;
59 for(
const auto &lit : literal_map)
64 out << (lit.is_true() ?
"TRUE" :
"FALSE");
const mappingt & get_mapping() const
const boolbv_mapt & get_map() const
const std::string filename
const symbolst & get_symbols() const