| 819 | } |
| 820 | |
| 821 | long long int setBit(long long int num, int bitInd, int bitVal) { |
| 822 | DEMAND( (bitVal == 0 || bitVal == 1) ); |
| 823 | DEMAND( num >= 0 ); |
| 824 | DEMAND( bitInd >= 0 ); |
| 825 | |
| 826 | return (num & ~(1UL << bitInd)) | (bitVal << bitInd); |
| 827 | } |
| 828 | |
| 829 | long long int getIndexOfTargetValues(long long int ref, int* targs, int numTargs, long long int targVal) { |
| 830 | // ref state is the starting index, where the targets can be in any bit state; |
no outgoing calls
no test coverage detected