dlvhex
2.5.0
|
00001 /* dlvhex -- Answer-Set Programming with external interfaces. 00002 * Copyright (C) 2005-2007 Roman Schindlauer 00003 * Copyright (C) 2006-2015 Thomas Krennwallner 00004 * Copyright (C) 2009-2016 Peter Schüller 00005 * Copyright (C) 2011-2016 Christoph Redl 00006 * Copyright (C) 2015-2016 Tobias Kaminski 00007 * Copyright (C) 2015-2016 Antonius Weinzierl 00008 * 00009 * This file is part of dlvhex. 00010 * 00011 * dlvhex is free software; you can redistribute it and/or modify it 00012 * under the terms of the GNU Lesser General Public License as 00013 * published by the Free Software Foundation; either version 2.1 of 00014 * the License, or (at your option) any later version. 00015 * 00016 * dlvhex is distributed in the hope that it will be useful, but 00017 * WITHOUT ANY WARRANTY; without even the implied warranty of 00018 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00019 * Lesser General Public License for more details. 00020 * 00021 * You should have received a copy of the GNU Lesser General Public 00022 * License along with dlvhex; if not, write to the Free Software 00023 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 00024 * 02110-1301 USA. 00025 */ 00026 00037 #ifdef HAVE_CONFIG_H 00038 #include "config.h" 00039 #endif // HAVE_CONFIG_H 00040 00041 #include "dlvhex2/TextOutputBuilder.h" 00042 #include "dlvhex2/PrintVisitor.h" 00043 #include "dlvhex2/globals.h" 00044 #include "dlvhex2/ResultContainer.h" 00045 00046 #include <iostream> 00047 00048 DLVHEX_NAMESPACE_BEGIN 00049 00050 TextOutputBuilder::TextOutputBuilder() 00051 { } 00052 00053 TextOutputBuilder::~TextOutputBuilder() 00054 { } 00055 00056 void 00057 TextOutputBuilder::buildResult(std::ostream& stream, const ResultContainer& facts) 00058 { 00059 const ResultContainer::result_t& results = facts.getAnswerSets(); 00060 00061 if (!Globals::Instance()->getOption("Silent")) { 00062 stream << std::endl; 00063 } 00064 00065 if (results.empty()) { 00066 return; 00067 } 00068 00069 if (((*results.begin())->hasWeights()) && !Globals::Instance()->getOption("AllModels")) { 00070 stream << "Best model: "; 00071 } 00072 00073 for (ResultContainer::result_t::const_iterator rit = results.begin(); rit != results.end(); ++rit) { 00074 RawPrintVisitor rpv(stream); 00075 (*rit)->accept(rpv); 00076 stream << std::endl; 00077 00078 if ((*rit)->hasWeights()) { 00079 stream << "Cost ([Weight:Level]): <"; 00080 00081 // 00082 // Display all weight values up to the highest specified level 00083 // 00084 for (unsigned lev = 1; lev <= AnswerSet::getMaxLevel(); ++lev) { 00085 if (lev > 1) 00086 stream << ","; 00087 00088 stream << "[" << (*rit)->getWeight(lev) << ":" << lev << "]"; 00089 } 00090 00091 stream << ">" << std::endl; 00092 } 00093 00094 // 00095 // empty line 00096 // 00097 if (!Globals::Instance()->getOption("Silent")) { 00098 stream << std::endl; 00099 } 00100 } 00101 } 00102 00103 00104 DLVHEX_NAMESPACE_END 00105 00106 00107 00108 // vim:expandtab:ts=4:sw=4: 00109 // mode: C++ 00110 // End: