Function Planner::postmortem_noTimeSpecifierOnAPropPrecondition

Function Documentation

void Planner::postmortem_noTimeSpecifierOnAPropPrecondition(const string &actname, const string &effect)