wd_Numerical_Const {
\find ( wd ( n ))
\replacewith ( true )
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 14 Offset :4wd_Numerical_Const_Z {
\find ( wd ( Z ( n )))
\replacewith ( true )
\heuristics (simplify )
\displayname "wd_Numerical_Const"
};defined in: wdNumericalRules.key Line: 25 Offset :4wd_Numerical_Const_C {
\find ( wd ( C ( n )))
\replacewith ( true )
\heuristics (simplify )
\displayname "wd_Numerical_Const"
};defined in: wdNumericalRules.key Line: 37 Offset :4wd_Numerical_Op_Neg {
\find ( wd ( neg ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 49 Offset :4wd_Numerical_Op_BitNegInt {
\find ( wd ( javaBitwiseNegateInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Neg"
};defined in: wdNumericalRules.key Line: 59 Offset :4wd_Numerical_Op_BitNegLong {
\find ( wd ( javaBitwiseNegateLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Neg"
};defined in: wdNumericalRules.key Line: 70 Offset :4wd_Numerical_Op_CheckedBitNegInt {
\find ( wd ( checkedBitwiseNegateInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Neg"
};defined in: wdNumericalRules.key Line: 81 Offset :4wd_Numerical_Op_CheckedBitNegLong {
\find ( wd ( checkedBitwiseNegateLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Neg"
};defined in: wdNumericalRules.key Line: 92 Offset :4wd_Numerical_Op_MinusJInt {
\find ( wd ( unaryMinusJint ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Minus"
};defined in: wdNumericalRules.key Line: 103 Offset :4wd_Numerical_Op_MinusJLong {
\find ( wd ( unaryMinusJlong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Minus"
};defined in: wdNumericalRules.key Line: 115 Offset :4wd_Numerical_Op_CheckedMinusInt {
\find ( wd ( checkedUnaryMinusInt ( a )))
\replacewith ( wd ( a )& inRangeInt ( checkedUnaryMinusInt ( a )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 127 Offset :4wd_Numerical_Op_CheckedMinusLong {
\find ( wd ( checkedUnaryMinusLong ( a )))
\replacewith ( wd ( a )& inRangeInt ( checkedUnaryMinusLong ( a )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 138 Offset :4wd_Numerical_Op_MinusInt {
\find ( wd ( javaUnaryMinusInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Minus"
};defined in: wdNumericalRules.key Line: 149 Offset :4wd_Numerical_Op_MinusLong {
\find ( wd ( javaUnaryMinusLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Minus"
};defined in: wdNumericalRules.key Line: 161 Offset :4wd_Numerical_Op_MinusIntOverFlow {
\find ( wd ( javaUnaryMinusIntOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Minus"
};defined in: wdNumericalRules.key Line: 173 Offset :4wd_Numerical_Op_MinusLongOverFlow {
\find ( wd ( javaUnaryMinusLongOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Minus"
};defined in: wdNumericalRules.key Line: 185 Offset :4wd_Numerical_Cast_Byte {
\find ( wd ( javaCastByte ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 197 Offset :4wd_Numerical_Cast_Short {
\find ( wd ( javaCastShort ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 209 Offset :4wd_Numerical_Cast_Int {
\find ( wd ( javaCastInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 221 Offset :4wd_Numerical_Cast_Long {
\find ( wd ( javaCastLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 233 Offset :4wd_Numerical_Cast_Char {
\find ( wd ( javaCastChar ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 245 Offset :4wd_Numerical_Cast_ByteOverFlow {
\find ( wd ( javaCastByteOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 257 Offset :4wd_Numerical_Cast_ShortOverFlow {
\find ( wd ( javaCastShortOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 269 Offset :4wd_Numerical_Cast_IntOverFlow {
\find ( wd ( javaCastIntOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 281 Offset :4wd_Numerical_Cast_LongOverFlow {
\find ( wd ( javaCastLongOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 293 Offset :4wd_Numerical_Cast_CharOverFlow {
\find ( wd ( javaCastCharOverFlow ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Cast"
};defined in: wdNumericalRules.key Line: 305 Offset :4wd_Numerical_Mod_Byte {
\find ( wd ( moduloByte ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Mod"
};defined in: wdNumericalRules.key Line: 317 Offset :4wd_Numerical_Mod_Short {
\find ( wd ( moduloShort ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Mod"
};defined in: wdNumericalRules.key Line: 329 Offset :4wd_Numerical_Mod_Int {
\find ( wd ( moduloInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Mod"
};defined in: wdNumericalRules.key Line: 341 Offset :4wd_Numerical_Mod_Long {
\find ( wd ( moduloLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Mod"
};defined in: wdNumericalRules.key Line: 353 Offset :4wd_Numerical_Mod_Char {
\find ( wd ( moduloChar ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
\displayname "wd_Numerical_Mod"
};defined in: wdNumericalRules.key Line: 365 Offset :4wd_Numerical_Op_Add {
\find ( wd ( add ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 377 Offset :4wd_Numerical_Op_AddJInt {
\find ( wd ( addJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Add"
};defined in: wdNumericalRules.key Line: 388 Offset :4wd_Numerical_Op_AddJLong {
\find ( wd ( addJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Add"
};defined in: wdNumericalRules.key Line: 400 Offset :4wd_Numerical_Op_CheckedAddInt {
\find ( wd ( checkedAddInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedAddInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 412 Offset :4wd_Numerical_Op_CheckedAddLong {
\find ( wd ( checkedAddLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedAddLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 423 Offset :4wd_Numerical_Op_AddInt {
\find ( wd ( javaAddInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Add"
};defined in: wdNumericalRules.key Line: 434 Offset :4wd_Numerical_Op_AddLong {
\find ( wd ( javaAddLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Add"
};defined in: wdNumericalRules.key Line: 446 Offset :4wd_Numerical_Op_AddIntOverFlow {
\find ( wd ( javaAddIntOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Add"
};defined in: wdNumericalRules.key Line: 458 Offset :4wd_Numerical_Op_AddLongOverFlow {
\find ( wd ( javaAddLongOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Add"
};defined in: wdNumericalRules.key Line: 470 Offset :4wd_Numerical_Op_Sub {
\find ( wd ( sub ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 482 Offset :4wd_Numerical_Op_CheckedSubInt {
\find ( wd ( checkedSubInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedSubInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 493 Offset :4wd_Numerical_Op_CheckedSubLong {
\find ( wd ( checkedSubLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedSubLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 504 Offset :4wd_Numerical_Op_SubJInt {
\find ( wd ( subJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Sub"
};defined in: wdNumericalRules.key Line: 515 Offset :4wd_Numerical_Op_SubJLong {
\find ( wd ( subJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Sub"
};defined in: wdNumericalRules.key Line: 527 Offset :4wd_Numerical_Op_SubInt {
\find ( wd ( javaSubInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Sub"
};defined in: wdNumericalRules.key Line: 539 Offset :4wd_Numerical_Op_SubLong {
\find ( wd ( javaSubLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Sub"
};defined in: wdNumericalRules.key Line: 551 Offset :4wd_Numerical_Op_SubIntOverFlow {
\find ( wd ( javaSubIntOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Sub"
};defined in: wdNumericalRules.key Line: 563 Offset :4wd_Numerical_Op_SubLongOverFlow {
\find ( wd ( javaSubLongOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Sub"
};defined in: wdNumericalRules.key Line: 575 Offset :4wd_Numerical_Op_Mul {
\find ( wd ( mul ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 587 Offset :4wd_Numerical_Op_CheckedMulInt {
\find ( wd ( checkedMulInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedMulInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 598 Offset :4wd_Numerical_Op_CheckedMulLong {
\find ( wd ( checkedMulLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedMulLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 609 Offset :4wd_Numerical_Op_MulJInt {
\find ( wd ( mulJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mul"
};defined in: wdNumericalRules.key Line: 620 Offset :4wd_Numerical_Op_MulJLong {
\find ( wd ( mulJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mul"
};defined in: wdNumericalRules.key Line: 632 Offset :4wd_Numerical_Op_MulInt {
\find ( wd ( javaMulInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mul"
};defined in: wdNumericalRules.key Line: 644 Offset :4wd_Numerical_Op_MulLong {
\find ( wd ( javaMulLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mul"
};defined in: wdNumericalRules.key Line: 656 Offset :4wd_Numerical_Op_MulIntOverFlow {
\find ( wd ( javaMulIntOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mul"
};defined in: wdNumericalRules.key Line: 668 Offset :4wd_Numerical_Op_MulLongOverFlow {
\find ( wd ( javaMulLongOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mul"
};defined in: wdNumericalRules.key Line: 680 Offset :4wd_Numerical_Op_Div {
\find ( wd ( div ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 692 Offset :4wd_Numerical_Op_JDiv {
\find ( wd ( jdiv ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 703 Offset :4wd_Numerical_Op_CheckedDivInt {
\find ( wd ( checkedDivInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedDivInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 715 Offset :4wd_Numerical_Op_CheckedDivLong {
\find ( wd ( checkedDivLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedDivLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 726 Offset :4wd_Numerical_Op_DivJInt {
\find ( wd ( divJint ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 737 Offset :4wd_Numerical_Op_DivJLong {
\find ( wd ( divJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 749 Offset :4wd_Numerical_Op_DivInt {
\find ( wd ( javaDivInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 761 Offset :4wd_Numerical_Op_DivLong {
\find ( wd ( javaDivLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 773 Offset :4wd_Numerical_Op_DivIntOverFlow {
\find ( wd ( javaDivIntOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 785 Offset :4wd_Numerical_Op_DivLongOverFlow {
\find ( wd ( javaDivLongOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Div"
};defined in: wdNumericalRules.key Line: 797 Offset :4wd_Numerical_Op_CheckedShiftRightInt {
\find ( wd ( checkedShiftRightInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedShiftRightInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 809 Offset :4wd_Numerical_Op_CheckedShiftRightLong {
\find ( wd ( checkedShiftRightLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedShiftRightLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 820 Offset :4wd_Numerical_Op_ShiftRightInt {
\find ( wd ( shiftrightJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 831 Offset :4wd_Numerical_Op_ShiftRightLong {
\find ( wd ( shiftrightJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 843 Offset :4wd_Numerical_Op_CheckedShiftLeftInt {
\find ( wd ( checkedShiftLeftInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedShiftLeftInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 855 Offset :4wd_Numerical_Op_CheckedShiftLeftLong {
\find ( wd ( checkedShiftLeftLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedShiftLeftLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 866 Offset :4wd_Numerical_Op_ShiftLeftInt {
\find ( wd ( shiftleftJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftLeft"
};defined in: wdNumericalRules.key Line: 877 Offset :4wd_Numerical_Op_ShiftLeftLong {
\find ( wd ( shiftleftJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftLeft"
};defined in: wdNumericalRules.key Line: 889 Offset :4wd_Numerical_Op_CheckedUShiftRightInt {
\find ( wd ( checkedUnsignedShiftRightInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedUnsignedShiftRightInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 901 Offset :4wd_Numerical_Op_CheckedUShiftRightLong {
\find ( wd ( checkedUnsignedShiftRightLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedUnsignedShiftRightLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 912 Offset :4wd_Numerical_Op_UShiftRightInt {
\find ( wd ( unsignedshiftrightJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 923 Offset :4wd_Numerical_Op_UShiftRightLong {
\find ( wd ( unsignedshiftrightJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 935 Offset :4wd_Numerical_Op_OrJInt {
\find ( wd ( orJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Or"
};defined in: wdNumericalRules.key Line: 947 Offset :4wd_Numerical_Op_OrJLong {
\find ( wd ( orJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Or"
};defined in: wdNumericalRules.key Line: 959 Offset :4wd_Numerical_Op_CheckedBitwiseOrInt {
\find ( wd ( checkedBitwiseOrInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedBitwiseOrInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 971 Offset :4wd_Numerical_Op_CheckedBitwiseOrLong {
\find ( wd ( checkedBitwiseOrLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedBitwiseOrLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 982 Offset :4wd_Numerical_Op_BitOrInt {
\find ( wd ( javaBitwiseOrInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Or"
};defined in: wdNumericalRules.key Line: 993 Offset :4wd_Numerical_Op_BitOrLong {
\find ( wd ( javaBitwiseOrLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Or"
};defined in: wdNumericalRules.key Line: 1005 Offset :4wd_Numerical_Op_CheckedBitwiseAndInt {
\find ( wd ( checkedBitwiseAndInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedBitwiseAndInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1017 Offset :4wd_Numerical_Op_checkedBitwiseAndLong {
\find ( wd ( checkedBitwiseAndLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedBitwiseAndLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1028 Offset :4wd_Numerical_Op_AndJInt {
\find ( wd ( andJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_And"
};defined in: wdNumericalRules.key Line: 1039 Offset :4wd_Numerical_Op_AndJLong {
\find ( wd ( andJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_And"
};defined in: wdNumericalRules.key Line: 1051 Offset :4wd_Numerical_Op_BitAndInt {
\find ( wd ( javaBitwiseAndInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_And"
};defined in: wdNumericalRules.key Line: 1063 Offset :4wd_Numerical_Op_BitAndLong {
\find ( wd ( javaBitwiseAndLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_And"
};defined in: wdNumericalRules.key Line: 1075 Offset :4wd_Numerical_Op_CheckedBitwiseXOrInt {
\find ( wd ( checkedBitwiseXOrInt ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedBitwiseXOrInt ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1087 Offset :4wd_Numerical_Op_CheckedBitwiseXOrLong {
\find ( wd ( checkedBitwiseXOrLong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& inRangeInt ( checkedBitwiseXOrLong ( a , b )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1098 Offset :4wd_Numerical_Op_XorJInt {
\find ( wd ( xorJint ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Xor"
};defined in: wdNumericalRules.key Line: 1109 Offset :4wd_Numerical_Op_XorJLong {
\find ( wd ( xorJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Xor"
};defined in: wdNumericalRules.key Line: 1121 Offset :4wd_Numerical_Op_BitXOrInt {
\find ( wd ( javaBitwiseXOrInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Xor"
};defined in: wdNumericalRules.key Line: 1133 Offset :4wd_Numerical_Op_BitXOrLong {
\find ( wd ( javaBitwiseXOrLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Xor"
};defined in: wdNumericalRules.key Line: 1145 Offset :4wd_Numerical_Op_Mod {
\find ( wd ( mod ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1157 Offset :4wd_Numerical_Op_JMod {
\find ( wd ( jmod ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mod"
};defined in: wdNumericalRules.key Line: 1168 Offset :4wd_Numerical_Op_ModJInt {
\find ( wd ( modJint ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mod"
};defined in: wdNumericalRules.key Line: 1180 Offset :4wd_Numerical_Op_ModJLong {
\find ( wd ( modJlong ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mod"
};defined in: wdNumericalRules.key Line: 1192 Offset :4wd_Numerical_Op_JavaMod {
\find ( wd ( javaMod ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mod"
};defined in: wdNumericalRules.key Line: 1204 Offset :4wd_Numerical_Op_JavaModOverFlow {
\find ( wd ( javaModOverFlow ( a , b )))
\replacewith ( wd ( a )& wd ( b )& ( b != 0 ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_Mod"
};defined in: wdNumericalRules.key Line: 1216 Offset :4wd_Numerical_Op_JavaShiftRightInt {
\find ( wd ( javaShiftRightInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 1228 Offset :4wd_Numerical_Op_JavaShiftRightLong {
\find ( wd ( javaShiftRightLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 1240 Offset :4wd_Numerical_Op_JavaShiftLeftInt {
\find ( wd ( javaShiftLeftInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftLeft"
};defined in: wdNumericalRules.key Line: 1252 Offset :4wd_Numerical_Op_JavaShiftLeftLong {
\find ( wd ( javaShiftLeftLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftLeft"
};defined in: wdNumericalRules.key Line: 1264 Offset :4wd_Numerical_Op_JavaUnsignedShiftRightInt {
\find ( wd ( javaUnsignedShiftRightInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 1276 Offset :4wd_Numerical_Op_JavaUnsignedShiftRightLong {
\find ( wd ( javaUnsignedShiftRightLong ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
\displayname "wd_Numerical_Op_ShiftRight"
};defined in: wdNumericalRules.key Line: 1288 Offset :4wd_Numerical_Quant_Sum {
\find ( wd ( sum { j ; } ( f , c )))
\replacewith ( \forall j ; wd ( f )& \forall j ; ( ( f = TRUE )-> wd ( c )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1315 Offset :4wd_Numerical_Quant_Prod {
\find ( wd ( prod { j ; } ( f , c )))
\replacewith ( \forall j ; wd ( f )& \forall j ; ( ( f = TRUE )-> wd ( c )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1341 Offset :4wd_Numerical_Quant_Min {
\find ( wd ( min { j ; } ( f , c )))
\replacewith ( \forall j ; wd ( f )& \forall j ; ( ( f = TRUE )-> wd ( c )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1352 Offset :4wd_Numerical_Quant_Max {
\find ( wd ( max { j ; } ( f , c )))
\replacewith ( \forall j ; wd ( f )& \forall j ; ( ( f = TRUE )-> wd ( c )))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1363 Offset :4wd_Numerical_Pred_InByte {
\find ( WD ( inByte ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1374 Offset :4wd_Numerical_Pred_InChar {
\find ( WD ( inChar ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1385 Offset :4wd_Numerical_Pred_InShort {
\find ( WD ( inShort ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1396 Offset :4wd_Numerical_Pred_InInt {
\find ( WD ( inInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1407 Offset :4wd_Numerical_Pred_InLong {
\find ( WD ( inLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1418 Offset :4wd_Numerical_Pred_inRangeByte {
\find ( WD ( inRangeByte ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1429 Offset :4wd_Numerical_Pred_inRangeChar {
\find ( WD ( inRangeChar ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1440 Offset :4wd_Numerical_Pred_inRangeShort {
\find ( WD ( inRangeShort ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1451 Offset :4wd_Numerical_Pred_inRangeInt {
\find ( WD ( inRangeInt ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1462 Offset :4wd_Numerical_Pred_inRangeLong {
\find ( WD ( inRangeLong ( a )))
\replacewith ( wd ( a ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1473 Offset :4wd_Numerical_Pred_Lt {
\find ( WD ( lt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1484 Offset :4wd_Numerical_Pred_Leq {
\find ( WD ( leq ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1495 Offset :4wd_Numerical_Pred_Gt {
\find ( WD ( gt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1506 Offset :4wd_Numerical_Pred_Geq {
\find ( WD ( geq ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1517 Offset :4wd_Numerical_Pred_WellOrdered {
\find ( WD ( wellOrderLeqInt ( a , b )))
\replacewith ( wd ( a )& wd ( b ))
\heuristics (simplify )
};defined in: wdNumericalRules.key Line: 1528 Offset :4