Closed michalp82 closed 4 years ago
Spot has no bitwise () operator support. Is implementation in next realise or workaround possible? I need the common:
& (bitwise AND) | (bitwise OR) ~ (bitwise NOT) ^ (bitwise XOR)
You can add custom operators to spot. Did you mean that as a possible workaround?
Thx. This is what I needed
Spot has no bitwise () operator support. Is implementation in next realise or workaround possible? I need the common:
& (bitwise AND) | (bitwise OR) ~ (bitwise NOT) ^ (bitwise XOR)