00001 /* 00002 * OplCallbackInterface.h 00003 * 00004 * Created on: Jul 22, 2011 00005 * Author: Andreas Hertle 00006 */ 00007 00008 #ifndef OPLCALLBACKINTERFACE_H_ 00009 #define OPLCALLBACKINTERFACE_H_ 00010 00011 #include "pddlModuleTypes.h" 00012 00013 class TimeStampedState; 00014 00015 namespace opl 00016 { 00017 00018 namespace interface 00019 { 00020 00021 class OplCallbackInterface 00022 { 00023 public: 00024 virtual void setCurrentState(const TimeStampedState* currentState) = 0; 00025 00026 virtual void dump() const = 0; 00027 }; 00028 00029 } 00030 00031 } 00032 00033 namespace modules 00034 { 00035 00037 typedef opl::interface::OplCallbackInterface* (*oplCallbackInitType)(const ObjectTypeMap& objects, 00038 const PredicateMapping& predicateMapping, 00039 const FunctionMapping& functionMapping, 00040 const PredicateList& predicateConstants, 00041 const NumericalFluentList& numericConstants); 00042 00043 } 00044 00045 #endif /* OPLCALLBACKINTERFACE_H_ */