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 IsBiUnateFunctionTo IsSelfDualFunction IsSymmetricFunction IsUnateFunction IsUnateFunctionTo binary() Binary ToROBDD ToVariableInvertedFunction DiagramGateName DigitalSystem FeedbackDiagram logicvardef() logicvardef Not MantissaToPositiveNumber ToStateTransitionTable Implementation Compatibility Balanced SimpleCover StateDeviceName StateTransition string() CreateFromLogicFunctions AdjustLogicVariableCount Normalization var() Zero