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