/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(DomainConstraintsAstNode astNode)
{
DomainData.Constraints = MasterExporter.ToConstraints(astNode.Expression);
}
/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(ProblemConstraintsAstNode astNode)
{
ProblemData.Constraints = MasterExporter.ToConstraints(astNode.Expression);
}
/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(AndConGdAstNode astNode)
{
astNode.Arguments.ForEach(arg => ConstraintsData.AddRange(MasterExporter.ToConstraints(arg)));
}
/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(ForallConGdAstNode astNode)
{
ConstraintsData.Add(new ForallConstraint(MasterExporter.ToParameters(astNode.Parameters), MasterExporter.ToConstraints(astNode.Expression)));
}
/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(PreferenceConGdAstNode astNode)
{
ConstraintsData.Add(new PreferenceConstraint(astNode.Name, MasterExporter.ToConstraints(astNode.Argument)));
}
