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
IsPositiveFunction IsThresholdFunction IsUnateFunction ToAndOr FromBinary List ToBinary TwoComplement ToAndXor ToPOS Diagram DiagramGateName FeedbackDiagram LogicScript logicvardef MantissaToPositiveNumber PositiveNumberToMantissa RadixToIndex OrAnd PermutationMatrix SAT MaxSAT StateTransitionBasedly To2layerOrAnd BestVariableOrder GetPositiveLogicFunction AdjustLogicVariableCount EnlargeLogicFunction ShrinkLogicFunction Zero