Scippy

SCIP

Solving Constraint Integer Programs

BLISS_Data Struct Reference

Detailed Description

struct for bliss callback

Definition at line 47 of file compute_symmetry_bliss.cpp.

Data Fields

SCIPscip
 
int npermvars
 
int nperms
 
int ** perms
 
int nmaxperms
 
int maxgenerators
 

Field Documentation

◆ scip

SCIP* BLISS_Data::scip

SCIP pointer

Definition at line 49 of file compute_symmetry_bliss.cpp.

Referenced by blisshook(), and SYMcomputeSymmetryGenerators().

◆ npermvars

int BLISS_Data::npermvars

number of variables for permutations

Definition at line 50 of file compute_symmetry_bliss.cpp.

Referenced by blisshook(), fillGraphByLinearConss(), and SYMcomputeSymmetryGenerators().

◆ nperms

int BLISS_Data::nperms

number of permutations

Definition at line 51 of file compute_symmetry_bliss.cpp.

Referenced by blisshook(), and SYMcomputeSymmetryGenerators().

◆ perms

int** BLISS_Data::perms

permutation generators as (nperms x npermvars) matrix

Definition at line 52 of file compute_symmetry_bliss.cpp.

Referenced by blisshook(), and SYMcomputeSymmetryGenerators().

◆ nmaxperms

int BLISS_Data::nmaxperms

maximal number of permutations

Definition at line 53 of file compute_symmetry_bliss.cpp.

Referenced by blisshook(), and SYMcomputeSymmetryGenerators().

◆ maxgenerators

int BLISS_Data::maxgenerators

maximal number of generators constructed (= 0 if unlimited)

Definition at line 54 of file compute_symmetry_bliss.cpp.

Referenced by blisshook(), and SYMcomputeSymmetryGenerators().