| 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 for invariants over three numeric variables.
|
| ThreeScalar |
Abstract base class for invariants over three numeric variables.
|