execInit(const ObjectTypeMap &objects, const PredicateMapping &predicateMapping, const FunctionMapping &functionMapping, const modules::PredicateList &predicateConstants, const modules::NumericalFluentList &numericConstants) | OplInit | |
oplInit | OplInit | |
OplInit(istream &in) | OplInit |