validate.c File Reference

Detailed Description

Method to validate Steiner problem solutions.

Author

Thorsten Koch

Gerald Gamrath

Daniel Rehfeldt

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 int nail ( const GRAPH *  g, const double *  xval  )

static

Definition at line 57 of file validate.c.

References GRAPH::edges, EPSILON, FALSE, GRAPH::layers, NULL, and TRUE.

Referenced by SCIPStpValidateSol().

trail()

static void trail ( const GRAPH *  g, int  i, const double *  xval, int  tail, int *  connected, int  hop, int  max_hops  )

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