/// <summary> /// Create a new partition /// </summary> /// <param name="symCard">The symbol alphabet cardinality</param> internal Partition(int symCard, TaskState task) { this.myTask = task; CharRange.Init(symCard); PartitionElement.Reset(); elements.Add(PartitionElement.AllChars()); }
/// <summary> /// Create a new partition /// </summary> /// <param name="symCard">The symbol alphabet cardinality</param> internal Partition(int symCard) { CharRange.Init(symCard); PartitionElement.Reset(); bSingletons = new BitArray(symCard); tSingletons = new TreeSet(); elements.Add(PartitionElement.AllChars()); }