Scippy

SCIP

Solving Constraint Integer Programs

scip_expr.c File Reference

Detailed Description

public methods for expression handlers

Author
Tobias Achterberg
Timo Berthold
Gerald Gamrath
Robert Lion Gottwald
Stefan Heinz
Gregor Hendel
Thorsten Koch
Alexander Martin
Marc Pfetsch
Michael Winkler
Kati Wolter

Definition in file scip_expr.c.

#include "blockmemshell/memory.h"
#include "nlpi/pub_expr.h"
#include "scip/debug.h"
#include "scip/intervalarith.h"
#include "scip/pub_message.h"
#include "scip/pub_nlp.h"
#include "scip/pub_var.h"
#include "scip/scip_expr.h"
#include "scip/scip_mem.h"
#include "scip/scip_numerics.h"
#include "scip/scip_sol.h"
#include "scip/scip_var.h"

Go to the source code of this file.

Macros

#define infty2infty(infty1, infty2, val)   (val >= infty1 ? infty2 : val)
 

Functions

SCIP_RETCODE SCIPgetExprtreeTransformedVars (SCIP *scip, SCIP_EXPRTREE *tree)
 
SCIP_RETCODE SCIPevalExprtreeSol (SCIP *scip, SCIP_EXPRTREE *tree, SCIP_SOL *sol, SCIP_Real *val)
 
SCIP_RETCODE SCIPevalExprtreeGlobalBounds (SCIP *scip, SCIP_EXPRTREE *tree, SCIP_Real infinity, SCIP_INTERVAL *val)
 
SCIP_RETCODE SCIPevalExprtreeLocalBounds (SCIP *scip, SCIP_EXPRTREE *tree, SCIP_Real infinity, SCIP_INTERVAL *val)
 

Macro Definition Documentation

◆ infty2infty

#define infty2infty (   infty1,
  infty2,
  val 
)    (val >= infty1 ? infty2 : val)

translate from one value of infinity to another

if val is >= infty1, then give infty2, else give val

Definition at line 52 of file scip_expr.c.

Referenced by SCIPevalExprtreeGlobalBounds(), and SCIPevalExprtreeLocalBounds().