logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunction IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsOneFunction IsSelfDualFunction BDD List BinaryNumberToString binaryioset() FeedbackDiagram Get LogicScript logicvardef MostSignificantDigit Radixes ToFullAnd Save Sequential InputVariables ToStateTransitionTable FullTable HuffmanMealy SimpleCover GetPositiveLogicFunction ComputeDONTCARE ShrinkLogicFunction var Xor Zero