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
IsOneFunction AndOr BDD ToAndOr ToBinary bool() ToTruthTable ExcitationTable FeedbackDiagram Imply LogicScript Nor RadixToIndex OrAnd POS SAT Sequential TransitionSeries OutputAndStateBasedly StateTransitionBasedly CreateCompactTable Implementation Canonical Shannon CreateFromLogicFunctions GetDontCareLogicFunction Utility Substitute var Zero