Advanced IsEqual binary binaryioset bool() ToROBDD ToTruthTable DiagramGateName FeedbackSystem list() Count object Print real Realization To2LayerNor SAT ShortestInputsForTransition InputVariables StateVariables To2layerOrAnd ShannonTree Fast MultiCover string() GetDontCareLogicFunction GetPositiveLogicFunction RandomGenerate CreateDummyLogicFunction Zero