public override void EnterGoal(pddlParser.GoalContext ctx)
{
/*
* self.scopes.append(Scope())
*/
// System.Console.WriteLine("-> goal");
this.scopes.Push(new Scope());
}
public override void ExitGoal(pddlParser.GoalContext ctx)
{
/*
* self.goals = set( self.scopes.pop().atoms )
*/
// System.Console.WriteLine("<- goal");
var scope = (Scope)this.scopes.Pop();
this.goals = new HashSet <ROCollection <string> >(scope.atoms);
}
