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
IsEqual IsOneFunction IsUnateFunction AndOr BDD List MinValue BCDEx3 binaryioset() binaryioset ToSOP Diagram Dimacs Load MantissaToPositiveInteger RadixFromIndex RadixToIndex OrAnd Print SOP To2LayerNand TransitionSeries CreateCompactTableWithFullSimplification SimpleCover GetDontCareLogicFunction GetNegativeLogicFunction RandomGenerate AdjustLogicVariableCount ComputeDONTCARE Zero