logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsPositiveUnateFunctionTo IsSelfDualFunction IsSymmetricFunction NineComplement TwoComplement binary Convert ToOrAnd ToPOS Dimacs Eq ExcitationTable FeedbackDiagram logicvardef() logicvardef PositiveIntegerToMantissa RadixToIndex object() real ToFullAnd ToStateTransitionTable ShannonTree BestVariableOrder SimpleInner StateDeviceName ComputeDONTCARE ComputeFunctionOrder ShannonExpansion Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.