Index
| add | Data.RME.Vector, Data.RME |
| allsat | Data.RME.Base, Data.RME |
| ashr | Data.RME.Vector, Data.RME |
| compl | Data.RME.Base, Data.RME |
| conj | Data.RME.Base, Data.RME |
| constant | Data.RME.Base, Data.RME |
| countLeadingZeros | Data.RME.Vector, Data.RME |
| countTrailingZeros | Data.RME.Vector, Data.RME |
| degree | Data.RME.Base, Data.RME |
| depth | Data.RME.Base, Data.RME |
| disj | Data.RME.Base, Data.RME |
| eq | Data.RME.Vector, Data.RME |
| eval | Data.RME.Base, Data.RME |
| explode | Data.RME.Base, Data.RME |
| false | Data.RME.Base, Data.RME |
| iff | Data.RME.Base, Data.RME |
| integer | Data.RME.Vector, Data.RME |
| isBool | Data.RME.Base, Data.RME |
| lit | Data.RME.Base, Data.RME |
| lshr | Data.RME.Vector, Data.RME |
| mul | Data.RME.Vector, Data.RME |
| mux | Data.RME.Base, Data.RME |
| neg | Data.RME.Vector, Data.RME |
| pdiv | Data.RME.Vector, Data.RME |
| pmod | Data.RME.Vector, Data.RME |
| pmul | Data.RME.Vector, Data.RME |
| popcount | Data.RME.Vector, Data.RME |
| RME | Data.RME.Base, Data.RME |
| RMEV | Data.RME.Vector, Data.RME |
| rol | Data.RME.Vector, Data.RME |
| ror | Data.RME.Vector, Data.RME |
| sat | Data.RME.Base, Data.RME |
| sdiv | Data.RME.Vector, Data.RME |
| shl | Data.RME.Vector, Data.RME |
| size | Data.RME.Base, Data.RME |
| sle | Data.RME.Vector, Data.RME |
| slt | Data.RME.Vector, Data.RME |
| srem | Data.RME.Vector, Data.RME |
| sub | Data.RME.Vector, Data.RME |
| true | Data.RME.Base, Data.RME |
| udiv | Data.RME.Vector, Data.RME |
| ule | Data.RME.Vector, Data.RME |
| ult | Data.RME.Vector, Data.RME |
| urem | Data.RME.Vector, Data.RME |
| xor | Data.RME.Base, Data.RME |