Binary.GrayCode.List
Back to table
/*
Binary-Number
Binary.GrayCode.List
[binary() result]=Binary.GrayCode.List(int bitLength, int numberFrom, int numberTo);
Get the GrayCode-expression from numberFrom to numberTo with the bitLength.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.GrayCode.List(4,2,3);
[v]=Binary.GrayCode.ToBinary(4,5);
[v]=Binary.GrayCode.FromBinary(4'b0101);
//-------------------------------------------------------------------
// result
Advanced MatchLogicFunction IsBiUnateFunction IsBiUnateFunctionTo IsMonotonicFunction IsOneFunction AbsoluteExpression binary binaryioset() ToOrAnd ToROBDD ToTruthTable Dimacs Count logicvardef Not MantissaToPositiveInteger object() Or Sequential Canonical Full StateTransition CreateFromLogicFunctions GetDontCareLogicFunction GetSubTable RandomGenerate ComputeDONTCARE SemanticEval Zero