case PERIOD_EQUALS: return and(rexBuilder, eq(rexBuilder, s0, s1), eq(rexBuilder, e0, e1)); case PRECEDES: return le(rexBuilder, e0, s1); case IMMEDIATELY_PRECEDES: return eq(rexBuilder, e0, s1); case SUCCEEDS: return ge(rexBuilder, s0, e1); case IMMEDIATELY_SUCCEEDS: return eq(rexBuilder, s0, e1); default: throw new AssertionError(op);
case PERIOD_EQUALS: return and(rexBuilder, eq(rexBuilder, s0, s1), eq(rexBuilder, e0, e1)); case PRECEDES: return le(rexBuilder, e0, s1); case IMMEDIATELY_PRECEDES: return eq(rexBuilder, e0, s1); case SUCCEEDS: return ge(rexBuilder, s0, e1); case IMMEDIATELY_SUCCEEDS: return eq(rexBuilder, s0, e1); default: throw new AssertionError(op);