Detailed Description
Method to validate Steiner problem solutions.
Definition in file validate.c.
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>
#include <assert.h>
#include "grph.h"
#include "portab.h"
Go to the source code of this file.
Functions | |
static int | nail (const GRAPH *g, const double *xval) |
static void | trail (const GRAPH *g, int i, const double *xval, int tail, int *connected, int hop, int max_hops) |
SCIP_RETCODE | SCIPStpValidateSol (SCIP *scip, const GRAPH *g, const double *xval, SCIP_Bool *feasible) |
Function Documentation
◆ nail()
|
static |
Definition at line 57 of file validate.c.
References GRAPH::edges, EPSILON, FALSE, GRAPH::layers, NULL, and TRUE.
Referenced by SCIPStpValidateSol().
◆ trail()
|
static |
Definition at line 103 of file validate.c.
References EAT_LAST, EPSILON, GRAPH::head, GRAPH::oeat, and GRAPH::outbeg.
Referenced by SCIPStpValidateSol().
◆ SCIPStpValidateSol()
SCIP_RETCODE SCIPStpValidateSol | ( | SCIP * | scip, |
const GRAPH * | g, | ||
const double * | xval, | ||
SCIP_Bool * | feasible | ||
) |
validates whether a (LP) solution is feasible
Definition at line 136 of file validate.c.
References EAT_LAST, GRAPH::edges, EPSILON, EQ, FALSE, flipedge, GRAPH::grad, GRAPH::knots, GRAPH::layers, GRAPH::maxdeg, nail(), NULL, GRAPH::oeat, GRAPH::outbeg, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPallocClearBufferArray, SCIPdebugMessage, SCIPfreeBufferArray, GRAPH::source, STP_DCSTP, GRAPH::stp_type, GRAPH::term, trail(), and TRUE.
Referenced by SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), and SCIP_DECL_HEUREXEC().