blob: 4a696af4dc2b79a30132315b9c24d62e05003a68 [file] [log] [blame]
// Build don't link:
// GROUPS passed nested-classes
class BDDHeap {
public:
BDDHeap();
BDDHeap(const BDDHeap&);
class Page {
public:
int i;
};
struct Pointer {
Page *page;
unsigned index;
Pointer();
Pointer(const BDDHeap& heap);
};
struct Half {
struct {
Page *top;
Page **tail;
} inuse;
Half();
};
Half half[2];
unsigned halfspace;
};
inline
BDDHeap::Pointer::Pointer(const BDDHeap& heap):
page(heap.half[heap.halfspace].inuse.top),
index(0)
{ }