C# (CSharp) QUT.Gplex.Automaton PartitionBlock.AddNode示例

AddNode() private method

Add the given node to the linked list

private AddNode ( LinkedListNode node ) : void
node	LinkedListNode
return	void

示例#1

文件： Minimizer.cs 项目： mrbrian/411_Assign_1

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

示例#2

文件： Minimizer.cs 项目： kevinknowscs/gplex

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