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