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); }