Function Planner::postmortem_wrongNumberOfPredicateArguments

Function Documentation

void Planner::postmortem_wrongNumberOfPredicateArguments(const string &actname, const bool &haveActName, const whereAreWe &w, const string &predname, const string &lit, const int &givenargs, const set<int> &realargs)