Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    HashData Struct Reference

    Detailed Description

    data object to compare constraint easier

    data object for pairs and triples of variables

    Definition at line 105 of file presol_gateextraction.c.

    Data Fields

    SCIP_CONS * cons
     
    SCIP_VAR ** vars
     
    int nvars
     
    SCIP_VAR * vars [3]
     
    int nrows
     
    int firstrow
     

    Field Documentation

    ◆ cons

    SCIP_CONS* HashData::cons

    pointer the the corresponding constraint

    Definition at line 107 of file presol_gateextraction.c.

    Referenced by extractGates(), SCIP_DECL_HASHKEYEQ(), and SCIP_DECL_PRESOLEXEC().

    ◆ vars [1/2]

    SCIP_VAR** HashData::vars

    constraint variables used for hash comparison

    Definition at line 108 of file presol_gateextraction.c.

    Referenced by detectHiddenProducts(), detectProductsUnconditional(), extractGates(), fillRelationTables(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), and SCIP_DECL_PRESOLEXEC().

    ◆ nvars

    int HashData::nvars

    number of variables

    Definition at line 109 of file presol_gateextraction.c.

    Referenced by detectProductsUnconditional(), extractGates(), fillRelationTables(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), and SCIP_DECL_PRESOLEXEC().

    ◆ vars [2/2]

    SCIP_VAR* HashData::vars[3]

    variables in the pair or triple, used for hash comparison

    Definition at line 92 of file sepa_rlt.c.

    ◆ nrows

    int HashData::nrows

    number of rows

    Definition at line 94 of file sepa_rlt.c.

    Referenced by fillRelationTables().

    ◆ firstrow

    int HashData::firstrow

    beginning of the corresponding row linked list

    Definition at line 95 of file sepa_rlt.c.

    Referenced by detectHiddenProducts(), detectProductsUnconditional(), fillRelationTables(), and SCIP_DECL_HASHKEYEQ().