Binary.NineComplement.List
Back to table
/*
Binary-Number
Binary.NineComplement.List
[binary() result]=Binary.NineComplement.List(int bitLength, int numberFrom, int numberTo);
Get the NineComplement-expression from numberFrom to numberTo with the bitLength.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.NineComplement.List(4,2,3);
[v]=Binary.NineComplement.ToBinary(4,5);
[v]=Binary.NineComplement.FromBinary(4'b0101);
//-------------------------------------------------------------------
// result
IsCovering IsInverse IsLinearFunction IsNegativeUnateFunctionTo IsSymmetricFunctionTo binaryioset ToShannonTree Dimacs Eq Imply list() logicvardef Minus Not MantissaToPositiveNumber MostSignificantDigit Radixes object() object PermutationMatrix TransitionSeries InputVariables ToStateTransitionTable CreateCompactTable Implementation Compatibility FastVerificationData RandomGenerate Normalization Zero