logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction Analysis IsParityFunction IsPositiveFunction IsSelfDualFunction ToAndOr Binary binary ToAndXor Imply long() minterm NumberSystem RadixToIndex object() POS Realization To2LayerAndOr To2LayerNand SAT MaxSAT Sequential AutoAssignInputAndStateVariables SimpleCover SimpleInner StateTransition CreateFromLogicFunctions GetSubTable IndependentBase Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.