Scippy

SCIP

Solving Constraint Integer Programs

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