class_varpartition.h File Reference

Detailed Description

class representing a partition of a set of variables

Author

Julius Hense

Definition in file class_varpartition.h.

#include "class_indexpartition.h"

Go to the source code of this file.

Data Structures
class	gcg::VarPartition

Namespaces
	gcg

Typedefs
typedef enum VarClassDecompInfo	gcg::VAR_DECOMPINFO

Enumerations
enum	gcg::VarClassDecompInfo {   gcg::ALL = 0,   gcg::LINKING = 1,   gcg::MASTER = 2,   gcg::BLOCK = 3 }