Predicate CodeDuplication::duplicate_extension
Holds if there is a sequence of DuplicateBlock
s start1, ..., end1
and another sequence
start2, ..., end2
such that each block extends the previous one and corresponding blocks
have the same equivalence class, with start
being the equivalence class of start1
and
start2
, and end
the equivalence class of end1
and end2
.
predicate duplicate_extension(DuplicateBlock start1, DuplicateBlock start2, DuplicateBlock end1, DuplicateBlock end2, int start, int end)