有序双向链表的倒置
倒置有序双向链表，使得其有序性与原链表相反。 （验证时间约 130sec）
[Back to Index]
验证特点：有序双向链表，内置谓词 \dlist、\dlist_seg，全称量词、迭代
标注说明：函数前条件：list指向长为n的有序递增双向链表；
函数后条件：函数返回值 \result 为有序双向链表，长度为n。原表头节点 \list 成新链表的尾节点，链表（数据域）按减序排序。
程序样例 
倒置有序双向链表，使得其有序性与原链表相反。 （验证时间约 130sec）
验证特点：有序双向链表，内置谓词 \dlist、\dlist_seg，全称量词、迭代
标注说明：函数前条件：list指向长为n的有序递增双向链表；
函数后条件：函数返回值 \result 为有序双向链表，长度为n。原表头节点 \list 成新链表的尾节点，链表（数据域）按减序排序。
程序样例