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
Advanced IsBiUnateFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction And AndOr BDD PureBinary binaryioset() bool() Convert ToVariableInvertedFunction minterm() MantissaToPositiveNumber object real To2LayerNor Save Forwardly GetExcitationTable Compatibility ROBDD Canonical Full Shannon CreateFromLogicFunctions Utility SemanticEval var Zero