Linear-Time Filtering Algorithms for the Disjunctive Constraint