#include "projectiontreenode.h"
#include "variabletree.h"
#include "dependencyset.h"
#include "projectiontreelabels.h"


Go to the source code of this file.
Classes | |
| class | ProjectionTree |
| Represents the constructed projection tree. More... | |
Header file specifying constructors, destructor and functions for projectiontree.cpp.
Definition in file projectiontree.h.
1.5.9