logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsInverse IsSymmetricFunction IsUnateFunction List AddXorTerm ToDualFunction ToTruthTable DiagramGateName DigitalSystem Equiv FeedbackSystem LogicScript long() PositiveNumberToMantissa OrAnd SOP InputVariables Forwardly StateVariables ToDigitalSystem FastVerificationData StateDeviceName CreateFromLogicFunctions Utility Normalization SemanticEval Substitute var() XORP Zero