推 nagy:ㄜ..()有overload 01/10 12:40
推 samuelduan:了解了^^ 01/10 14:48
in BddManager::ite()
BddNodeInt* ni = uniquify(t(), e(), v);
in BddManager::init()
_supports.push_back(BddNode(BddNode::_one(), BddNode::_zero(), i))
上面兩行在使用到 uniquify 這個function 時
前兩項的BddNode都要加 ()
請問這裡的用意為何
是用來呼叫constructor的嗎
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.7.59