hypercolgraph_def.h File Reference
Detailed Description
Column hypergraph.
A hypergraph structure with a node for every constraint and a hyperedge for every variable.
Definition in file hypercolgraph_def.h.
#include "hypercolgraph.h"
#include "class_partialdecomp.h"
#include "class_detprobdata.h"
#include <set>
#include <algorithm>
#include <vector>
#include <iostream>
Go to the source code of this file.
Namespaces | |
gcg | |