| 189 | } |
| 190 | |
| 191 | forceinline bool QcspUnblockable::qt_of_var(int v) { |
| 192 | return Quantifiers[whichSpaceOwns[v]]; |
| 193 | } |
| 194 | |
| 195 | MySpace* QcspUnblockable::getSpace(int scope) { |
| 196 | if (scope<0 || scope>nbSpaces) { |
no outgoing calls
no test coverage detected