public static CanonicalIntegerBoolean DecreaseUnsigned(CanonicalIntegerBoolean borrow, TIntT value, out TIntT result)
{
var t = value - 1;
return(CanonicalIntegerBooleanModule.Equals(0, value) | ConditionalDecreaseUnsigned(borrow, t, out result));
}
public static CanonicalIntegerBoolean DecreaseUnsigned(TIntT value, out TIntT result)
{
result = value - 1;
return(CanonicalIntegerBooleanModule.Equals(0, value));
}
public static CanonicalIntegerBoolean IncreaseUnsigned(TIntT value, out TIntT result)
{
result = 1 + value;
return(CanonicalIntegerBooleanModule.Equals(-1, value.ToSignedUnchecked()));
}
public static CanonicalIntegerBoolean IncreaseUnsigned(CanonicalIntegerBoolean carry, TIntT value, out TIntT result)
{
var t = 1 + value;
return(CanonicalIntegerBooleanModule.Equals(-1, value.ToSignedUnchecked()) | ConditionalIncreaseUnsigned(carry, t, out result));
}
public static CanonicalIntegerBoolean ConditionalDecreaseUnsigned(CanonicalIntegerBoolean borrow, TIntT value, out TIntT result)
{
ConditionalDecreaseUnchecked(borrow, value, out result);
return(borrow & CanonicalIntegerBooleanModule.Equals(0, value));
}
