PermuteLogicFunction IsBlankFunction IsCovering IsLinearFunction AndOr BDD AbsoluteExpression StringToBinaryNumber binaryioset() bool() bool AddXorTerm ToXORP Diagram object() OrAnd POS To2LayerNor Sequential ShortestInputsForTransition AutoAssignInputAndStateVariables ShannonTree Balanced Fast StateDeviceName GetDontCareLogicFunction ShannonExpansion var XORP Zero