#include <module.h>

Public Member Functions | |
| opl::interface::OplCallbackInterface * | execInit (const ObjectTypeMap &objects, const PredicateMapping &predicateMapping, const FunctionMapping &functionMapping, const modules::PredicateList &predicateConstants, const modules::NumericalFluentList &numericConstants) |
| OplInit (istream &in) | |
Public Attributes | |
| oplCallbackInitType | oplInit |
Definition at line 89 of file search/module.h.
| OplInit::OplInit | ( | istream & | in | ) |
Definition at line 145 of file search/module.cpp.
| opl::interface::OplCallbackInterface * OplInit::execInit | ( | const ObjectTypeMap & | objects, |
| const PredicateMapping & | predicateMapping, | ||
| const FunctionMapping & | functionMapping, | ||
| const modules::PredicateList & | predicateConstants, | ||
| const modules::NumericalFluentList & | numericConstants | ||
| ) |
Definition at line 159 of file search/module.cpp.
| oplCallbackInitType OplInit::oplInit |
Definition at line 99 of file search/module.h.