/// <summary>
/// Visits the given input data node.
/// </summary>
/// <param name="data">Input data node.</param>
public override void PostVisit(InputData.PDDL.ForallExpression data)
{
ExpressionStack.Push(new ForallExpression(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.ForallExpression data)
{
IdManager.Variables.RegisterLocalParameters(data.Parameters);
}
