public override void EnterConstantsDef(pddlParser.ConstantsDefContext ctx)
{
/*
* self.scopes.append(Obj())
*/
this.scopes.Push(new Obj());
}
public override void ExitConstantsDef(pddlParser.ConstantsDefContext ctx)
{
/*
* scope = self.scopes.pop()
* self.objects = scope.variable_list
*/
var scope = (Obj)this.scopes.Pop();
this.objects = scope.variable_list;
}