Scippy

SCIP

Solving Constraint Integer Programs

SCIP_DomExact Struct Reference

Detailed Description

exact domain of a variable

Definition at line 182 of file struct_var.h.

#include <struct_var.h>

Data Fields

SCIP_RATIONALlb
 
SCIP_RATIONALub
 
SCIP_Longint lbcertificateidx
 
SCIP_Longint ubcertificateidx
 

Field Documentation

◆ lb

◆ ub

◆ lbcertificateidx

SCIP_Longint SCIP_DomExact::lbcertificateidx

◆ ubcertificateidx

SCIP_Longint SCIP_DomExact::ubcertificateidx