Binary.BCDEx3.ToBinary
Back to table
/*
Binary-Number
Binary.BCDEx3.ToBinary
[binary result]=Binary.BCDEx3.ToBinary(int bitLength, int number);
Get the BCDEx3 binary expression of a number.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.BCDEx3.List(4,2,3);
[v]=Binary.BCDEx3.ToBinary(4,5);
[v]=Binary.BCDEx3.FromBinary(4'b0101);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsPositiveUnateFunctionTo And ToAndOr List MaxValue MinValue ToBinary binary bool() ToVariableInvertedFunction Dimacs Equiv FeedbackDiagram Count logicvardef() Nand Not RadixFromIndex Or MaxSAT ShortestInputsForTransition CreateCompactTable SimpleInner StateTransition AdjustLogicVariableCount ComputeDONTCARE IndependentBase Normalization Zero