Home | History | Annotate | Download | only in Analysis

Lines Matching full:preserves

1944           // Negation preserves a recurrence's no self-wrap property.