logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunction IsCovering IsPositiveFunction binary() FromBinary NineComplement PureBinary logicvardef Nor MantissaToPositiveInteger object() real To2LayerOrAnd ToFullAnd OutputAndStateBasedly ToFeedbackSystem Simplification Balanced BestVariableOrder string TimingChart CreateFromLogicFunctions GetNegativeLogicFunction AdjustLogicVariableCount ComputeFunctionOrder IndependentBase SemanticEval XORP Zero