logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBlankFunction IsEqual ToBinary GrayCode binary binaryioset() bool() ToXORP Dimacs Imply logicvardef long Minus Nor PositiveDecimalToMantissa PositiveNumberToMantissa OrAnd ToFullAnd TransitionSeries AutoAssignInputAndStateVariables ToFeedbackSystem Simplification Balanced DontCare TimingChart TruthTable GetSubTable SemanticEval Xor Zero