煤矿职工休年假时，如果遇到法定节假日，法定节假日是不算入年假天数的。以下是对此问题的详细分析：

一、年假的基本规定

根据《职工带薪年休假条例》第二条，机关、团体、企业、事业单位、民办非企业单位、有雇工的个体工商户等单位的职工，连续工作1年以上的，享受带薪年休假。这意味着，煤矿职工作为企业职工的一部分，同样享有带薪年休假的权利。

二、年假天数的计算

《职工带薪年休假条例》第三条明确规定了年假的天数：

• 职工累计工作已满1年不满10年的，年休假5天；
• 已满10年不满20年的，年休假10天；
• 已满20年的，年休假15天。

同时，该条例还指出，国家法定休假日、休息日不计入年休假的假期。这意味着，在计算年假天数时，需要将法定节假日和休息日排除在外。

三、法定节假日与年假的关系

1. 法定节假日不计入年假：根据上述规定，法定节假日是职工依法享受的休息时间，不计入年假天数。因此，如果煤矿职工在休年假期间遇到了法定节假日，这部分时间不会从年假天数中扣除。

2. 年假的连续性：年假可以集中安排，也可以分段安排，但一般不跨年度安排。如果因生产、工作特点确有必要跨年度安排职工年休假的，可以跨1个年度安排。但无论如何安排，法定节假日都不会计入年假天数。

四、实际案例与操作建议

假设某煤矿职工已经连续工作满5年，根据规定应享受5天的年假。如果他在休年假期间遇到了春节这样的法定节假日（假设春节假期为7天，其中包含3天法定节假日），那么他的年假天数仍然是5天，不会因为遇到法定节假日而减少。

操作建议：

• 煤矿职工在规划年假时，可以提前了解公司的年假安排和法定节假日的放假时间，以便更好地安排自己的休息时间。
• 如果遇到法定节假日与年假重叠的情况，职工可以与公司协商调整年假时间，以确保自己的休息权益得到充分保障。

综上所述，煤矿职工休年假时，如果遇到法定节假日，法定节假日是不算入年假天数的。职工在享受年假时，应充分了解自己的权益和规定，以便更好地安排自己的休息时间。如果有任何疑问或需要进一步的法律帮助，可以直接向我咨询。