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.