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 00034 #ifndef ANSWERSETPRINTERCALLBACK_HPP_INCLUDED__18012011 00035 #define ANSWERSETPRINTERCALLBACK_HPP_INCLUDED__18012011 00036 00037 #include "dlvhex2/PlatformDefinitions.h" 00038 #include "dlvhex2/PluginInterface.h" 00039 #include "dlvhex2/fwd.h" 00040 00041 DLVHEX_NAMESPACE_BEGIN 00042 00044 class AnswerSetPrinterCallback: 00045 public ModelCallback 00046 { 00047 public: 00050 AnswerSetPrinterCallback(ProgramCtx& ctx); 00057 virtual bool operator()(AnswerSetPtr model); 00058 00059 protected: 00061 PredicateMaskPtr filterpm; 00063 ProgramCtx& ctx; 00064 }; 00065 00067 class DLVHEX_EXPORT CSVAnswerSetPrinterCallback: 00068 public ModelCallback 00069 { 00070 public: 00073 CSVAnswerSetPrinterCallback(ProgramCtx& ctx, const std::string& predicate); 00080 virtual bool operator()(AnswerSetPtr model); 00081 00082 protected: 00084 PredicateMaskPtr filterpm; 00086 bool firstas; 00087 }; 00088 00089 DLVHEX_NAMESPACE_END 00090 #endif // ANSWERSETPRINTERCALLBACK_HPP_INCLUDED__18012011 00091 00092 // vim:expandtab:ts=4:sw=4: 00093 // mode: C++ 00094 // End: