Scippy

SCIP

Solving Constraint Integer Programs

Functions
scip_certificate.h File Reference
Public API of SCIP » Core API

Detailed Description

public methods for certified solving

Author
Leon Eifler
Ambros Gleixner

Definition in file scip_certificate.h.

#include "scip/def.h"
#include "scip/type_cuts.h"
#include "scip/type_cons.h"
#include "scip/type_heur.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_sol.h"
#include "scip/type_var.h"
#include "scip/type_certificate.h"
#include "scip/type_lpexact.h"

Go to the source code of this file.

Functions

SCIP_Bool SCIPisCertified (SCIP *scip)
 
SCIP_Bool SCIPshouldCertificateTrackBounds (SCIP *scip)
 
SCIP_RETCODE SCIPcertifyCons (SCIP *scip, SCIP_Bool isorigfile, const char *consname, const char sense, SCIP_RATIONAL *side, int len, int *ind, SCIP_RATIONAL **val)
 
SCIP_RETCODE SCIPcertifyActivityVarBound (SCIP *scip, const char *linename, SCIP_BOUNDTYPE boundtype, SCIP_Real newbound, SCIP_Bool ismaxactivity, SCIP_CONS *constraint, SCIP_VAR *variable, SCIP_ROWEXACT *row, SCIP_RATIONAL **vals, SCIP_RATIONAL *lhs, SCIP_RATIONAL *rhs, SCIP_VAR **vars, int nvars)
 
SCIP_RETCODE SCIPcertifyActivityVarBoundExact (SCIP *scip, const char *linename, SCIP_BOUNDTYPE boundtype, SCIP_RATIONAL *newbound, SCIP_Bool ismaxactivity, SCIP_CONS *constraint, SCIP_VAR *variable, SCIP_ROWEXACT *row, SCIP_RATIONAL **vals, SCIP_RATIONAL *lhs, SCIP_RATIONAL *rhs, SCIP_VAR **vars, int nvars)
 
SCIP_RETCODE SCIPcertifyActivityConflict (SCIP *scip, SCIP_CONS *cons, SCIP_ROWEXACT *row, SCIP_RATIONAL *lhs, SCIP_RATIONAL *rhs, int nvals, SCIP_RATIONAL **vals, SCIP_VAR **vars, SCIP_RATIONAL *diff, SCIP_Bool userhs)
 
SCIP_RETCODE SCIPaddCertificateAggrInfo (SCIP *scip, SCIP_AGGRROW *aggrrow, SCIP_ROW **aggrrows, SCIP_Real *weights, int naggrrows, SCIP_ROW **negslackrows, SCIP_Real *negslackweights, int nnegslackrows)
 
SCIP_RETCODE SCIPstoreCertificateActiveAggrInfo (SCIP *scip, SCIP_ROW *row)
 
SCIP_RETCODE SCIPfreeCertificateActiveAggrInfo (SCIP *scip)
 
SCIP_RETCODE SCIPaddCertificateMirInfo (SCIP *scip)
 
SCIP_RETCODE SCIPstoreCertificateActiveMirInfo (SCIP *scip, SCIP_ROW *row)
 
SCIP_RETCODE SCIPcertifyMirCut (SCIP *scip, SCIP_ROW *row)
 
SCIP_RETCODE SCIPfreeCertificateActiveMirInfo (SCIP *scip)