00001 #ifndef bwi_actexec_StaticFacts_h__guard 00002 #define bwi_actexec_StaticFacts_h__guard 00003 00004 #include "actasp/AspAtom.h" 00005 #include "actasp/AspKR.h" 00006 00007 #include <list> 00008 00009 namespace bwi_krexec { 00010 00011 struct StaticFacts { 00012 00013 static void retrieveStaticFacts(actasp::AspKR *reasoner, const std::string& domain_directory); 00014 static std::list<actasp::AspAtom> staticFacts(); 00015 00016 private: 00017 00018 static std::list<actasp::AspAtom> static_facts; 00019 00020 }; 00021 00022 } 00023 00024 #endif 00025