/** * Dispatch a new top-level goal. * @param goal The new goal. */ public void dispatchSubgoalAndWait(IGoal goal) { dispatchSubgoalAndWait(goal, -1); }
/** * Dispatch a new top-level goal. * @param goal The new goal. */ public void dispatchSubgoalAndWait(IGoal goal) { dispatchSubgoalAndWait(goal, -1); }