class_indexpartition.cpp File Reference

Detailed Description

generalization of ConsPartition and VarPartition

Author

Julius Hense

Definition in file class_indexpartition.cpp.

#include "class_indexpartition.h"
#include <cassert>
#include <sstream>
#include <algorithm>

Go to the source code of this file.

Data Structures
struct	gcg::sort_pred

Namespaces
	gcg