// logical expressions for timed constraints (derived from ConGDAstNode)
public virtual void Visit(AndConGdAstNode node)
{
}
/// <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)));
}