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 IsInverse IsLinearFunction IsPositiveUnateFunctionTo IsZeroFunction BDD binary() ToBinary PureBinary binaryioset ToSOP ToTruthTable ToXORP Email Load long() Minus MostSignificantDigit RadixFromIndex object() One OrAnd To2LayerAndOr To2LayerAndXor Sequential StateTransitionBasedly ShannonTree FastVerificationData ShrinkLogicFunction Zero