The Fortress Language Specification - CiteSeerX

40.7.56 gatherBits(mask: T): T
40.7.57 spreadBits(mask:T): T
[Description to be supplied.]
40.7.58 disentangleBits(mask:T): T
40.7.59 intersperseBits(mask: T): T
[Description to be supplied.]
40.8 The Trait Fortress.Core.BasicBinaryWordOperations
trait BasicBinaryWordOperationsT extends BasicBinaryWordOperationsT, b,nat b
extends BasicBinaryOperationsT where { b ≤ maxBinaryWordBitLog }
multiplyLow(other: T):T where { b ≤ maxMultiplyBitLog }
multiplyLow(other: T,overflowAction: () → T):T where { b ≤ maxMultiplyBitLog }
saturatedMultiplyLow(other:T): T where { b ≤ maxMultiplyBitLog }
multiplyHigh(other:T): T where { b ≤ maxMultiplyBitLog }
multiplyDouble(other: T): (T, T) where { b ≤ maxMultiplyBitLog }
signedDivide(other:T,overflowAction: () → T,zeroDivideAction:() → T):T
where { b ≤ maxDivideBitLog }
unsignedDivide(other: T,zeroDivideAction: () → T):T where { b ≤ maxDivideBitLog }
signedDivRem(other:T,overflowAction: () → T,zeroDivideAction:() → T):(T, T)
where { b ≤ maxDivideBitLog }
unsignedDivRem(other: T,zeroDivideAction: () → T):(T, T) where { b ≤ maxDivideBitLog }
signedRemainder(other: T,zeroDivideAction: () → T):T where { b ≤ maxDivideBitLog }
unsignedModulo(other: T,zeroDivideAction: () → T): T where { b ≤ maxDivideBitLog }
bitSwap(j:IndexInt):T
getter littleEndian():BinaryEndianWordb,false,false
getter bigEndian():BinaryEndianWordb,true,true
end
40.8.1 multiplyLow(other:T): T where { b ≤ maxMultiplyBitLog }
40.8.2 multiplyLow(other:T,overflowAction: () → T): T where { b ≤ maxMultiplyBitLog }
40.8.3 saturatedMultiplyLow(other: T):T where { b ≤ maxMultiplyBitLog }
40.8.4 multiplyHigh(other: T):T where { b ≤ maxMultiplyBitLog }
40.8.5 multiplyDouble(other: T):(T, T) where { b ≤ maxMultiplyBitLog }
[Description to be supplied.]
292