/// <summary>
/// Move the node with value dSt from this partition to blk.
/// </summary>
/// <param name="dSt">value to be moved</param>
/// <param name="blk">destination partition</param>
internal void MoveMember(DFSA.DState dSt, PartitionBlock blk)
{
// Assert: dSt must belong to LinkedList this.members
LinkedListNode <DFSA.DState> node = dSt.listNode;
this.members.Remove(node);
this.predCount--;
blk.AddNode(node);
}
