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 NOGOODGROUNDER_HPP_ 00035 #define NOGOODGROUNDER_HPP_ 00036 00037 #include "dlvhex2/PlatformDefinitions.h" 00038 #include "dlvhex2/fwd.h" 00039 #include "dlvhex2/ID.h" 00040 #include "dlvhex2/Nogood.h" 00041 #include "dlvhex2/Registry.h" 00042 #include "dlvhex2/AnnotatedGroundProgram.h" 00043 00044 #include <boost/unordered_map.hpp> 00045 #include <boost/shared_ptr.hpp> 00046 00047 DLVHEX_NAMESPACE_BEGIN 00048 00050 class DLVHEX_EXPORT NogoodGrounder 00051 { 00052 protected: 00054 RegistryPtr reg; 00056 SimpleNogoodContainerPtr watched; 00058 SimpleNogoodContainerPtr destination; 00060 AnnotatedGroundProgram& agp; 00061 public: 00070 NogoodGrounder(RegistryPtr reg, SimpleNogoodContainerPtr watched, SimpleNogoodContainerPtr destination, AnnotatedGroundProgram& agp); 00071 00078 virtual void update(InterpretationConstPtr partialInterpretation = InterpretationConstPtr(), InterpretationConstPtr factWasSet = InterpretationConstPtr(), InterpretationConstPtr changed = InterpretationConstPtr()) = 0; 00079 00084 virtual void resetWatched(SimpleNogoodContainerPtr watched); 00085 00086 typedef boost::shared_ptr<NogoodGrounder> Ptr; 00087 }; 00088 00089 typedef NogoodGrounder::Ptr NogoodGrounderPtr; 00090 00094 class DLVHEX_EXPORT ImmediateNogoodGrounder : public NogoodGrounder 00095 { 00096 private: 00098 int instantiatedNongroundNogoodsIndex; 00099 public: 00108 ImmediateNogoodGrounder(RegistryPtr reg, SimpleNogoodContainerPtr watched, SimpleNogoodContainerPtr destination, AnnotatedGroundProgram& agp); 00109 virtual void update(InterpretationConstPtr partialInterpretation = InterpretationConstPtr(), InterpretationConstPtr factWasSet = InterpretationConstPtr(), InterpretationConstPtr changed = InterpretationConstPtr()); 00110 virtual void resetWatched(SimpleNogoodContainerPtr watched); 00111 }; 00112 00117 class DLVHEX_EXPORT LazyNogoodGrounder : public NogoodGrounder 00118 { 00119 private: 00121 int watchedNogoodsCount; 00123 std::vector<std::pair<ID, int> > watchedLiterals; 00125 std::set<std::pair<IDAddress, int> > alreadyCompared; 00126 public: 00135 LazyNogoodGrounder(RegistryPtr reg, SimpleNogoodContainerPtr watched, SimpleNogoodContainerPtr destination, AnnotatedGroundProgram& agp); 00136 virtual void update(InterpretationConstPtr partialInterpretation = InterpretationConstPtr(), InterpretationConstPtr factWasSet = InterpretationConstPtr(), InterpretationConstPtr changed = InterpretationConstPtr()); 00137 virtual void resetWatched(SimpleNogoodContainerPtr watched); 00138 }; 00139 00140 DLVHEX_NAMESPACE_END 00141 #endif 00142 00143 // vim:expandtab:ts=4:sw=4: 00144 // mode: C++ 00145 // End: