DefaultTimes.h
Go to the documentation of this file.
00001 #ifndef bwi_krexec_DefaultTimes_h__guard
00002 #define bwi_krexec_DefaultTimes_h__guard
00003 
00004 #include <actasp/actaspfwd.h>
00005 
00006 #include "DefaultActionValue.h"
00007 
00008 namespace bwi_krexec {
00009 
00010 struct DefaultTimes : public DefaultActionValue {
00011   
00012   virtual double value(const actasp::AspFluent &action);
00013   
00014 };
00015 
00016 }
00017 
00018 
00019 #endif


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