Expert Partitioner
Arvin Schnell <aschnell@suse.de>
A region is a list of two integers, the first being the start and the
second the length.
List of Global Functions
Inside - Checks whether region b lies within region a.
List of Global Variables
Checks whether region b lies within region a.
Function parameters
list<integer> a
list<integer> b
Return value
boolean
none