Scippy

SCIP

Solving Constraint Integer Programs

SolIntAssignment Struct Reference

Detailed Description

constraint handler data

Definition at line 85 of file cons_exactsol.c.

Data Fields

int * idx
 
SCIP_Longintvals
 
int len
 

Field Documentation

◆ idx

int* SolIntAssignment::idx

variable indices that are fixed, sorted increasing

Definition at line 87 of file cons_exactsol.c.

Referenced by SCIP_DECL_HASHKEYEQ(), and SCIP_DECL_HASHKEYVAL().

◆ vals

SCIP_Longint* SolIntAssignment::vals

values those vars were fixed to

Definition at line 88 of file cons_exactsol.c.

Referenced by SCIP_DECL_HASHKEYEQ(), and SCIP_DECL_HASHKEYVAL().

◆ len

int SolIntAssignment::len

length of the two arrays

Definition at line 89 of file cons_exactsol.c.

Referenced by SCIP_DECL_HASHKEYEQ(), and SCIP_DECL_HASHKEYVAL().