public override void EnterInit(pddlParser.InitContext ctx) { /* * self.scopes.append(Scope()) */ // System.Console.WriteLine("-> ini"); this.scopes.Push(new Scope()); }
public override void ExitInit(pddlParser.InitContext ctx) { /* * self.initialstate = set( self.scopes.pop().atoms ) */ // System.Console.WriteLine("<- ini"); var scope = (Scope)this.scopes.Pop(); this.initialstate = new HashSet <ROCollection <string> >(scope.atoms); }