pub_bliss.h File Reference

Detailed Description

helper functions for automorphism detection

Author

Martin Bergner

Daniel Peters

Jonas Witt

Definition in file pub_bliss.h.

#include "scip/scip.h"

Go to the source code of this file.

Typedefs
typedef struct struct_cons	AUT_CONS
typedef struct struct_var	AUT_VAR
typedef struct struct_coef	AUT_COEF
typedef struct struct_colorinformation	AUT_COLOR

Functions
void	GCGgetBlissName (char *buffer, int len)

Typedef Documentation

AUT_CONS

typedef struct struct_cons AUT_CONS

Definition at line 50 of file pub_bliss.h.

AUT_VAR

typedef struct struct_var AUT_VAR

Definition at line 51 of file pub_bliss.h.

AUT_COEF

typedef struct struct_coef AUT_COEF

Definition at line 52 of file pub_bliss.h.

AUT_COLOR

typedef struct struct_colorinformation AUT_COLOR

Definition at line 53 of file pub_bliss.h.