/// <summary> /// Visits the given input data node. /// </summary> /// <param name="data">Input data node.</param> public override void PostVisit(InputData.PDDL.ExistsExpression data) { ExpressionStack.Push(new ExistsExpression(new Parameters(data.Parameters, IdManager), ExpressionStack.Pop())); IdManager.Variables.UnregisterLocalParameters(data.Parameters); }
/// <summary> /// Visits the given input data node. /// </summary> /// <param name="data">Input data node.</param> public override void Visit(InputData.PDDL.ExistsExpression data) { IdManager.Variables.RegisterLocalParameters(data.Parameters); }