class_conspartition.cpp File Reference

Detailed Description

class representing a partition of a set of constraints

Author

Julius Hense

Definition in file class_conspartition.cpp.

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

Go to the source code of this file.

Namespaces
	gcg