我有一個Node類和一個NodeManager類。 NodeManager對象持有指向節點的指針。我想讓這個Node指針指向一個在堆上分配的Node對象。堆分配發生在NodeManager.init()。 這是代碼。 class Node
{
public:
int index;
};
class NodeManager
{
public:
NodeManager
我創建了一個測試圖來嘗試創建一個獨立集。我知道獨立集是一組沒有連接的頂點,但我不知道如何在合金4.2中實現這一點。下面是我有: abstract sig Vertex {
e: set Vertex -- e is the edge relation
}
-- the test graph has vertices A, B, C, D, E, F
one sig A, B, C,