[問題] unsetVisitedRecur()

[Ultor (m(_ _)m)]

呃

因為這次好多 function 的 code 都看不到

所以想問是不是如果要把所有的 BddNode 都走過一次的時候

要用最頂端的那個 BddNode 呼叫 unsetVisitedRecur() ??

如果是的話 那是要在走之前呼叫還是在走完之後呼叫

(因為不知道其他部份的 code 是怎麼寫的..)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.4.235
推 ric2k1:應該是在 traverse 的時候要呼叫 BddNodeInt::setVisited()
→ ric2k1:然後 traverse 完後從 top node 呼叫一遍 unsetVisitedRecu