OplCallbackInterface.h
Go to the documentation of this file.
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_ */


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06