Utility.ShrinkLogicFunction
Back to table
/*
Logic-Function-Analysis
Utility.ShrinkLogicFunction
[LogicFunction g]=Utility.ShrinkLogicFunction(LogicFunction F, var() varList)
Only take the specified logic variables such to shrink the size of the logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsOneFunction IsParityFunction IsSelfDualFunction MinValue ToShannonTree Count long() long MantissaToPositiveNumber MostSignificantDigit OrAnd PermutationMatrix To2LayerOrAnd SOP TransitionSeries OutputAndStateBasedly ToFeedbackSystem ToDigitalSystem FastVerificationData ROBDD SimpleCover StateDeviceName TruthTable GetSubTable ComputeFunctionOrder CreateDummyLogicFunction EnlargeLogicFunction SemanticEval var Zero