Exemple #1
0
 public override void ExitPredicatesDef(pddlParser.PredicatesDefContext ctx)
 {
     /*
      * dummyop = self.scopes.pop()
      */
     this.scopes.Pop();
 }
Exemple #2
0
 public override void EnterPredicatesDef(pddlParser.PredicatesDefContext ctx)
 {
     /*
      * self.scopes.append(Operator(None))
      */
     this.scopes.Push(new Operator(null));
 }