/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(AtInitElemAstNode astNode)
{
InitElementData = new AtInitElement(astNode.Number, (LiteralInitElement)MasterExporter.ToInitElement(astNode.Argument));
}
/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(ProblemInitAstNode astNode)
{
astNode.InitElemList.ForEach(initElem => ProblemData.Init.Add(MasterExporter.ToInitElement(initElem)));
}
/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(NotInitElemAstNode astNode)
{
InitElementData = new NotInitElement((AtomicFormulaInitElement)MasterExporter.ToInitElement(astNode.Argument));
}
