Ejemplo n.º 1
0
        /// <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());
        }
Ejemplo n.º 2
0
        /// <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());
        }