var()
Back to table
/*
BasicType
var()
[var() f]=function(var() g);
A list of logic-variable symbols
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsEqual IsLinearFunction IsOneFunction IsThresholdFunction IsUnateFunctionTo FromBinary binary binaryioset() bool ToNotFunction ToVariableInvertedFunction Eq FeedbackSystem logicvardef MantissaToPositiveNumber object() OrAnd POS To2LayerNor ToFeedbackSystem CreateCompactTable GetExcitationTable FastVerificationData DontCare GetNegativeLogicFunction ComputeDONTCARE var Zero