logicvardef
Back to table
/*
BasicType
logicvardef
[logicvardef f]=function(logicvardef g);
Used to define a logic-value of a logic-variable. ie f=x1*(logicvardef(x2,DontCare))*x3, in this case for indicates the x2 is a DontCare variable.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBlankFunction IsCovering IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo And BDD binary() AbsoluteExpression GrayCode OneComplement PureBinary Convert ToAndXor Get Nand Not NumberSystem MantissaToPositiveInteger PositiveNumberToMantissa Radixes RadixToIndex To2LayerAndOr Sequential FastVerificationData Utility IndependentBase SemanticEval ShrinkLogicFunction Zero