/// <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))); }