作者ric2k1 (Ric)
看板EE_DSnP
标题[讨论] 谁能解释 test.cpp 的 reference count 吗?
时间Sat Jan 6 23:41:57 2007
我上课问的, 有人想要试着回答吗?
[Code]
======
int
main()
{
BddNode::_debugBddAddr = true;
BddNode::_debugRefCount = true;
BddManager bm(3, 127, 61);
BddNode a(bm.getSupport(1));
BddNode b(bm.getSupport(2));
BddNode c(bm.getSupport(3));
BddNode d = a & b | a & c;
cout << d << endl;
BddNode e;
e = a & (b | c);
cout << endl;
cout << e << endl;
}
===================
[Reference program]
===================
[3](+) 0x87aedc8 (1)
[1](+) 0x87aed00 (5)
[0](+) 0x87aecc0 (11)
[0](-) 0x87aecc0 (11) (*)
[2](+) 0x87aeda0 (1)
[1](+) 0x87aed00 (5) (*)
[0](-) 0x87aecc0 (11) (*)
==> Total #BddNodes : 4
[3](+) 0x87aedc8 (2)
[1](+) 0x87aed00 (5)
[0](+) 0x87aecc0 (12)
[0](-) 0x87aecc0 (12) (*)
[2](+) 0x87aeda0 (1)
[1](+) 0x87aed00 (5) (*)
[0](-) 0x87aecc0 (12) (*)
==> Total #BddNodes : 4
=============================================================
请解释括弧後面的 reference counts 为什麽是这样?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.129.139