Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SCIP_ProofSet Struct Reference

    Detailed Description

    set of conflicting bound changes

    Definition at line 90 of file struct_conflict.h.

    #include <struct_conflict.h>

    Data Fields

    SCIP_Real * vals
     
    int * inds
     
    SCIP_Real rhs
     
    int nnz
     
    int size
     
    int validdepth
     
    SCIP_CONFTYPE conflicttype
     
    SCIP_Longint certificateline
     

    Field Documentation

    ◆ vals

    SCIP_Real* SCIP_ProofSet::vals

    Definition at line 92 of file struct_conflict.h.

    Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetGetVals(), tightenCoefficients(), and tightenDualproof().

    ◆ inds

    int* SCIP_ProofSet::inds

    Definition at line 93 of file struct_conflict.h.

    Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetGetInds(), tightenCoefficients(), and tightenDualproof().

    ◆ rhs

    SCIP_Real SCIP_ProofSet::rhs

    Definition at line 94 of file struct_conflict.h.

    Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), proofsetGetRhs(), tightenCoefficients(), and tightenDualproof().

    ◆ nnz

    int SCIP_ProofSet::nnz

    Definition at line 95 of file struct_conflict.h.

    Referenced by proofsetAddSparseData(), proofsetCancelVarWithBound(), proofsetClear(), SCIPproofsetGetNVars(), tightenCoefficients(), and tightenDualproof().

    ◆ size

    int SCIP_ProofSet::size

    Definition at line 96 of file struct_conflict.h.

    Referenced by proofsetAddSparseData().

    ◆ validdepth

    int SCIP_ProofSet::validdepth

    Definition at line 97 of file struct_conflict.h.

    Referenced by createAndAddProofcons(), proofsetClear(), SCIPconflictFlushProofset(), and tightenDualproof().

    ◆ conflicttype

    SCIP_CONFTYPE SCIP_ProofSet::conflicttype

    conflict type: unknown, infeasible LP, bound exceeding LP

    Definition at line 98 of file struct_conflict.h.

    Referenced by proofsetClear(), proofsetGetConftype(), SCIPconflictFlushProofset(), separateAlternativeProofs(), and tightenDualproof().

    ◆ certificateline

    SCIP_Longint SCIP_ProofSet::certificateline

    Definition at line 99 of file struct_conflict.h.

    Referenced by createAndAddProofcons(), proofsetAddAggrrow(), and proofsetClear().