Member predicate RegexString :: controlEscape
Holds if there is a control sequence, \cx
, between start
and end
.
x
may be any ascii character including special characters.
predicate
controlEscape
(
int
start
,
int
end
)