|
Class Summary |
| FunctionBinary |
Base class for each of the FunctionBinary functions and permutatons. |
| FunctionBinary.BitwiseAndLong_xyz |
Represents the invariant x = BitwiseAnd (y, z)
over three long scalars. |
| FunctionBinary.BitwiseAndLong_yxz |
Represents the invariant y = BitwiseAnd (x, z)
over three long scalars. |
| FunctionBinary.BitwiseAndLong_zxy |
Represents the invariant z = BitwiseAnd (x, y)
over three long scalars. |
| FunctionBinary.BitwiseOrLong_xyz |
Represents the invariant x = BitwiseOr (y, z)
over three long scalars. |
| FunctionBinary.BitwiseOrLong_yxz |
Represents the invariant y = BitwiseOr (x, z)
over three long scalars. |
| FunctionBinary.BitwiseOrLong_zxy |
Represents the invariant z = BitwiseOr (x, y)
over three long scalars. |
| FunctionBinary.BitwiseXorLong_xyz |
Represents the invariant x = BitwiseXor (y, z)
over three long scalars. |
| FunctionBinary.BitwiseXorLong_yxz |
Represents the invariant y = BitwiseXor (x, z)
over three long scalars. |
| FunctionBinary.BitwiseXorLong_zxy |
Represents the invariant z = BitwiseXor (x, y)
over three long scalars. |
| FunctionBinary.DivisionLong_xyz |
Represents the invariant x = Division (y, z)
over three long scalars. |
| FunctionBinary.DivisionLong_xzy |
Represents the invariant x = Division (z, y)
over three long scalars. |
| FunctionBinary.DivisionLong_yxz |
Represents the invariant y = Division (x, z)
over three long scalars. |
| FunctionBinary.DivisionLong_yzx |
Represents the invariant y = Division (z, x)
over three long scalars. |
| FunctionBinary.DivisionLong_zxy |
Represents the invariant z = Division (x, y)
over three long scalars. |
| FunctionBinary.DivisionLong_zyx |
Represents the invariant z = Division (y, x)
over three long scalars. |
| FunctionBinary.GcdLong_xyz |
Represents the invariant x = Gcd (y, z)
over three long scalars. |
| FunctionBinary.GcdLong_yxz |
Represents the invariant y = Gcd (x, z)
over three long scalars. |
| FunctionBinary.GcdLong_zxy |
Represents the invariant z = Gcd (x, y)
over three long scalars. |
| FunctionBinary.LogicalAndLong_xyz |
Represents the invariant x = LogicalAnd (y, z)
over three long scalars. |
| FunctionBinary.LogicalAndLong_yxz |
Represents the invariant y = LogicalAnd (x, z)
over three long scalars. |
| FunctionBinary.LogicalAndLong_zxy |
Represents the invariant z = LogicalAnd (x, y)
over three long scalars. |
| FunctionBinary.LogicalOrLong_xyz |
Represents the invariant x = LogicalOr (y, z)
over three long scalars. |
| FunctionBinary.LogicalOrLong_yxz |
Represents the invariant y = LogicalOr (x, z)
over three long scalars. |
| FunctionBinary.LogicalOrLong_zxy |
Represents the invariant z = LogicalOr (x, y)
over three long scalars. |
| FunctionBinary.LogicalXorLong_xyz |
Represents the invariant x = LogicalXor (y, z)
over three long scalars. |
| FunctionBinary.LogicalXorLong_yxz |
Represents the invariant y = LogicalXor (x, z)
over three long scalars. |
| FunctionBinary.LogicalXorLong_zxy |
Represents the invariant z = LogicalXor (x, y)
over three long scalars. |
| FunctionBinary.LshiftLong_xyz |
Represents the invariant x = Lshift (y, z)
over three long scalars. |
| FunctionBinary.LshiftLong_xzy |
Represents the invariant x = Lshift (z, y)
over three long scalars. |
| FunctionBinary.LshiftLong_yxz |
Represents the invariant y = Lshift (x, z)
over three long scalars. |
| FunctionBinary.LshiftLong_yzx |
Represents the invariant y = Lshift (z, x)
over three long scalars. |
| FunctionBinary.LshiftLong_zxy |
Represents the invariant z = Lshift (x, y)
over three long scalars. |
| FunctionBinary.LshiftLong_zyx |
Represents the invariant z = Lshift (y, x)
over three long scalars. |
| FunctionBinary.MaximumLong_xyz |
Represents the invariant x = Maximum (y, z)
over three long scalars. |
| FunctionBinary.MaximumLong_yxz |
Represents the invariant y = Maximum (x, z)
over three long scalars. |
| FunctionBinary.MaximumLong_zxy |
Represents the invariant z = Maximum (x, y)
over three long scalars. |
| FunctionBinary.MinimumLong_xyz |
Represents the invariant x = Minimum (y, z)
over three long scalars. |
| FunctionBinary.MinimumLong_yxz |
Represents the invariant y = Minimum (x, z)
over three long scalars. |
| FunctionBinary.MinimumLong_zxy |
Represents the invariant z = Minimum (x, y)
over three long scalars. |
| FunctionBinary.ModLong_xyz |
Represents the invariant x = Mod (y, z)
over three long scalars. |
| FunctionBinary.ModLong_xzy |
Represents the invariant x = Mod (z, y)
over three long scalars. |
| FunctionBinary.ModLong_yxz |
Represents the invariant y = Mod (x, z)
over three long scalars. |
| FunctionBinary.ModLong_yzx |
Represents the invariant y = Mod (z, x)
over three long scalars. |
| FunctionBinary.ModLong_zxy |
Represents the invariant z = Mod (x, y)
over three long scalars. |
| FunctionBinary.ModLong_zyx |
Represents the invariant z = Mod (y, x)
over three long scalars. |
| FunctionBinary.MultiplyLong_xyz |
Represents the invariant x = Multiply (y, z)
over three long scalars. |
| FunctionBinary.MultiplyLong_yxz |
Represents the invariant y = Multiply (x, z)
over three long scalars. |
| FunctionBinary.MultiplyLong_zxy |
Represents the invariant z = Multiply (x, y)
over three long scalars. |
| FunctionBinary.PowerLong_xyz |
Represents the invariant x = Power (y, z)
over three long scalars. |
| FunctionBinary.PowerLong_xzy |
Represents the invariant x = Power (z, y)
over three long scalars. |
| FunctionBinary.PowerLong_yxz |
Represents the invariant y = Power (x, z)
over three long scalars. |
| FunctionBinary.PowerLong_yzx |
Represents the invariant y = Power (z, x)
over three long scalars. |
| FunctionBinary.PowerLong_zxy |
Represents the invariant z = Power (x, y)
over three long scalars. |
| FunctionBinary.PowerLong_zyx |
Represents the invariant z = Power (y, x)
over three long scalars. |
| FunctionBinary.RshiftSignedLong_xyz |
Represents the invariant x = RshiftSigned (y, z)
over three long scalars. |
| FunctionBinary.RshiftSignedLong_xzy |
Represents the invariant x = RshiftSigned (z, y)
over three long scalars. |
| FunctionBinary.RshiftSignedLong_yxz |
Represents the invariant y = RshiftSigned (x, z)
over three long scalars. |
| FunctionBinary.RshiftSignedLong_yzx |
Represents the invariant y = RshiftSigned (z, x)
over three long scalars. |
| FunctionBinary.RshiftSignedLong_zxy |
Represents the invariant z = RshiftSigned (x, y)
over three long scalars. |
| FunctionBinary.RshiftSignedLong_zyx |
Represents the invariant z = RshiftSigned (y, x)
over three long scalars. |
| FunctionBinary.RshiftUnsignedLong_xyz |
Represents the invariant x = RshiftUnsigned (y, z)
over three long scalars. |
| FunctionBinary.RshiftUnsignedLong_xzy |
Represents the invariant x = RshiftUnsigned (z, y)
over three long scalars. |
| FunctionBinary.RshiftUnsignedLong_yxz |
Represents the invariant y = RshiftUnsigned (x, z)
over three long scalars. |
| FunctionBinary.RshiftUnsignedLong_yzx |
Represents the invariant y = RshiftUnsigned (z, x)
over three long scalars. |
| FunctionBinary.RshiftUnsignedLong_zxy |
Represents the invariant z = RshiftUnsigned (x, y)
over three long scalars. |
| FunctionBinary.RshiftUnsignedLong_zyx |
Represents the invariant z = RshiftUnsigned (y, x)
over three long scalars. |
| FunctionBinaryFloat |
Base class for each of the FunctionBinaryFloat functions and permutatons. |
| FunctionBinaryFloat.DivisionDouble_xyz |
Represents the invariant x = Division (y, z)
over three double scalars. |
| FunctionBinaryFloat.DivisionDouble_xzy |
Represents the invariant x = Division (z, y)
over three double scalars. |
| FunctionBinaryFloat.DivisionDouble_yxz |
Represents the invariant y = Division (x, z)
over three double scalars. |
| FunctionBinaryFloat.DivisionDouble_yzx |
Represents the invariant y = Division (z, x)
over three double scalars. |
| FunctionBinaryFloat.DivisionDouble_zxy |
Represents the invariant z = Division (x, y)
over three double scalars. |
| FunctionBinaryFloat.DivisionDouble_zyx |
Represents the invariant z = Division (y, x)
over three double scalars. |
| FunctionBinaryFloat.MaximumDouble_xyz |
Represents the invariant x = Maximum (y, z)
over three double scalars. |
| FunctionBinaryFloat.MaximumDouble_yxz |
Represents the invariant y = Maximum (x, z)
over three double scalars. |
| FunctionBinaryFloat.MaximumDouble_zxy |
Represents the invariant z = Maximum (x, y)
over three double scalars. |
| FunctionBinaryFloat.MinimumDouble_xyz |
Represents the invariant x = Minimum (y, z)
over three double scalars. |
| FunctionBinaryFloat.MinimumDouble_yxz |
Represents the invariant y = Minimum (x, z)
over three double scalars. |
| FunctionBinaryFloat.MinimumDouble_zxy |
Represents the invariant z = Minimum (x, y)
over three double scalars. |
| FunctionBinaryFloat.MultiplyDouble_xyz |
Represents the invariant x = Multiply (y, z)
over three double scalars. |
| FunctionBinaryFloat.MultiplyDouble_yxz |
Represents the invariant y = Multiply (x, z)
over three double scalars. |
| FunctionBinaryFloat.MultiplyDouble_zxy |
Represents the invariant z = Multiply (x, y)
over three double scalars. |
| FunctionBinaryFloat.PowerDouble_xyz |
Represents the invariant x = Power (y, z)
over three double scalars. |
| FunctionBinaryFloat.PowerDouble_xzy |
Represents the invariant x = Power (z, y)
over three double scalars. |
| FunctionBinaryFloat.PowerDouble_yxz |
Represents the invariant y = Power (x, z)
over three double scalars. |
| FunctionBinaryFloat.PowerDouble_yzx |
Represents the invariant y = Power (z, x)
over three double scalars. |
| FunctionBinaryFloat.PowerDouble_zxy |
Represents the invariant z = Power (x, y)
over three double scalars. |
| FunctionBinaryFloat.PowerDouble_zyx |
Represents the invariant z = Power (y, x)
over three double scalars. |
| LinearTernary |
Represents a Linear invariant over three long scalars x,
y, and z, of the form
ax + by + cz + d = 0. |
| LinearTernaryCore |
The LinearTernaryCore class is acts as the backend for the
invariant (ax + by + cz + d = 0) by processing samples and
computing coefficients. |
| LinearTernaryCore.Point |
|
| LinearTernaryCoreFloat |
The LinearTernaryCore class is acts as the backend for the
invariant (ax + by + cz + d = 0) by processing samples and
computing coefficients. |
| LinearTernaryCoreFloat.Point |
|
| LinearTernaryFloat |
Represents a Linear invariant over three double scalars x,
y, and z, of the form
ax + by + cz + d = 0. |
| ThreeFloat |
Abstract base class used for comparing three double scalars. |
| ThreeScalar |
Abstract base class used for comparing three long scalars. |