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
IsPositiveUnateFunctionTo IsSelfAntiDualFunction AndXor Binary GrayCode NineComplement bool() ToAndXor ToNotFunction ToPOS ToROBDD Dimacs LeastSignificantDigit One Print To2LayerAndXor SAT Sequential ShortestInputsForTransition InputVariables Backwardly BestVariableOrder Fast Canonical SimpleInner TruthTable CreateDummyLogicFunction var() XORP Zero