binary()
Back to table
/*
BasicType
binary()
[binary() f]=function(binary() g);
A list of binary number.
*/
//-------------------------------------------------------------------
// examples
binaries = binary(2'b00, 2'b01, 2'b10, 2'b11);
Print(binaries);
//-------------------------------------------------------------------
// result
IsPositiveUnateFunctionTo IsSelfAntiDualFunction AndXor Binary GrayCode NineComplement bool() ToAndXor ToNotFunction ToPOS ToROBDD Dimacs LeastSignificantDigit One Print To2LayerAndXor SAT Sequential ShortestInputsForTransition InputVariables Backwardly BestVariableOrder Fast Canonical SimpleInner TruthTable CreateDummyLogicFunction var() XORP Zero