class_varpartition.cpp File Reference

Detailed Description

class representing a partition of a set of variables

Author

Julius Hense

Definition in file class_varpartition.cpp.

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

Go to the source code of this file.

Namespaces
	gcg