[問題] BddManager::getNumSupports()

[timrau (沒code沒真相)]

請問這個function的return value
constant 1/0也被算做一層support嗎？

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.25.180
推 ric2k1:是的