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().