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
MatchLogicFunction IsBiUnateFunction IsCovering IsLinearFunction IsMonotonicFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction BCD bool() ToOrAnd ToDiagram ToPOS DiagramGateName DigitalSystem Count Load Nand SAT ShortestInputsForTransition TransitionSeries CreateCompactTableWithFullSimplification ToDigitalSystem Balanced BestVariableOrder string CreateFromLogicFunctions ComputeDONTCARE Xor Zero