Binary.BCDEx3.List
Back to table
/*
Binary-Number
Binary.BCDEx3.List
[binary() result]=Binary.BCDEx3.List(int bitLength, int numberFrom, int numberTo);
Get the BCDEx3-expression from numberFrom to numberTo with the bitLength.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.BCDEx3.List(4,2,3);
[v]=Binary.BCDEx3.ToBinary(4,5);
[v]=Binary.BCDEx3.FromBinary(4'b0101);
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBiUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfDualFunction IsZeroFunction AndOr BDD AbsoluteExpression Convert ToOrAnd AddXorTerm ToVariableInvertedFunction Equiv Imply logicvardef() One Print To2LayerOrAnd SAT AutoAssignInputAndStateVariables StateVariables StateTransitionBasedly ToStateTransitionTable Compatibility SimpleCover ComputeDONTCARE ShrinkLogicFunction var Zero