StaticFacts.h
Go to the documentation of this file.
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 


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37