validate.c File Reference

#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, char *connected, int hop, int max_hops)
SCIP_RETCODE	SCIPvalidateStpSol (SCIP *scip, const GRAPH *g, const double *xval, SCIP_Bool *feasible)

Function Documentation

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, and TRUE.

Referenced by SCIPvalidateStpSol().

SCIP_RETCODE SCIPvalidateStpSol	(	SCIP *	scip,
		const GRAPH *	g,
		const double *	xval,
		SCIP_Bool *	feasible
	)

validates whether a (LP) solution is feasible

Definition at line 206 of file validate.c.

References EAT_LAST, GRAPH::edges, EPSILON, EQ, FALSE, flipedge, GRAPH::grad, GRAPH::knots, GRAPH::layers, GRAPH::maxdeg, nail(), GRAPH::oeat, GRAPH::outbeg, GRAPH::source, STP_DEG_CONS, GRAPH::stp_type, GRAPH::term, trail(), and TRUE.

Referenced by SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), and SCIP_DECL_HEUREXEC().

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

static

Definition at line 103 of file validate.c.

References EAT_LAST, EPSILON, GRAPH::head, GRAPH::knots, GRAPH::oeat, GRAPH::outbeg, GRAPH::source, and GRAPH::tail.

Referenced by SCIPvalidateStpSol().