Implement predicate functions for capabilities needed
mukul-rathi opened this issue · comments
linear(___)
- a region is linear if it contains linear objects, or if it has the linear capability associated with it
subord(___)
read(__)
encaps(__)
safe(__)
locked(__)
thread(__)
- thread field -> thread object
Create mapping of types -> required capabilities.