Re: [问题] HW4几个问题 ric2k1 PTT批踢踢实业坊

Re: [问题] HW4几个问题

楼主: ric2k1 (Ric) 2010-04-29 01:30:24

: → kaie819:另外，想请教程式中nodeMove的问题，是不是没有node就不能 04/29 00:05
: → kaie819:做move，例如tautology，所以move前必须自己检查吗？ 04/29 00:09
: → kaie819:像如果next state(Y)没node，这样要移到current state(X) 04/29 00:12
: → kaie819:似乎就会出现`thisLevel >= fromLevel'的assertion fail 04/29 00:13
Let me copy the source code of the function BddNode::nodeMove() here

楼主: ric2k1 (Ric) 2010-04-29 01:34:00

所以没有 node (tautology) 的确是会 crash... 请检查一下再呼叫此 function.

作者: pokia (幻影成风) 2010-04-30 23:24:00

我不太懂nodeMove这个function...所有大于fromlevel的level都会搬动的意思吗？也就是这个function只呼叫一次？

楼主: ric2k1 (Ric) 2010-05-01 10:24:00

是的，一次搬到定位。就是用在将 X 搬到 Y 或是 Y 搬到 X

继续阅读

Re: [问题] HW4几个问题kaie819 Re: [问题] HW4几个问题ric2k1 [问题] HW4几个问题kaie819 Re: [情报] Homework #4 题目已上传ric2k1 [情报] Homework #4 题目已上传ric2k1 [公告] 期中考日期 (05/07)ric2k1 [情报] HW3程式部份未缴交名单rockyai [问题] HW3关于ref与globalRef的问题wayneskyline [情报] HW3手写作业未缴交名单rockyai [情报] Lecture note #5ric2k1