/// <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());
}