Utility.ComputeFunctionOrder
Back to table
/*
Logic-Function-Analysis
Utility.ComputeFunctionOrder
[int order]=Utility.ComputeFunctionOrder(LogicFunction F1)
F1 : a logic function
order : an integer
Compute the order of a logic function.
*/
//-------------------------------------------------------------------
// examples
f = AndXor()
{
1;
2;
3;
}
g=Utility.ComputeFunctionOrder(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Advanced IsBiUnateFunction IsInverse IsLinearFunction IsOneFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsZeroFunction List GrayCode ToXORP Dimacs Email logicvardef Minus LeastSignificantDigit MostSignificantDigit RadixToIndex ShortestInputsForTransition InputVariables StateTransitionBasedly FullTable Fast FastVerificationData DontCare GetPositiveLogicFunction EnlargeLogicFunction Normalization Xor Zero