* Constructor with given main goal and undo stack.
*/
public GoalStack(Goal mainGoal, UndoStack undoStack)
{
FastStack initialGoals = new FastStack();
initialGoals.push(mainGoal);
init(initialGoals, undoStack);
}
/**
* Constructor with given initial goals and undo stack.