IsBiUnateFunctionTo IsBlankFunction IsLinearFunction IsSelfAntiDualFunction MinValue StringToBinaryNumber binaryioset() ExcitationTable Get long() long minterm() PermutationMatrix POS To2LayerNor To2LayerAndXor Save ShortestInputsForTransition ToFeedbackSystem Balanced Full SimpleCover SimpleInner AdjustLogicVariableCount ComputeDONTCARE SemanticEval ShrinkLogicFunction var() var Zero