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