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_RATIONAL *	lb
SCIP_RATIONAL *	ub
SCIP_Longint	lbcertificateidx
SCIP_Longint	ubcertificateidx

Field Documentation

lb

SCIP_RATIONAL* SCIP_DomExact::lb

exact lower bound of variables

Definition at line 184 of file struct_var.h.

Referenced by SCIPvarAggregateExact(), SCIPvarCopyExactData(), varNegateExactData(), and varUpdateAggregationBoundsExact().

ub

SCIP_RATIONAL* SCIP_DomExact::ub

exact upper bound of variables

Definition at line 185 of file struct_var.h.

Referenced by SCIPvarAggregateExact(), SCIPvarCopyExactData(), varNegateExactData(), and varUpdateAggregationBoundsExact().

lbcertificateidx

SCIP_Longint SCIP_DomExact::lbcertificateidx

certificate index of lower bound (-1 if not set or no certificate active)

Definition at line 186 of file struct_var.h.

ubcertificateidx

SCIP_Longint SCIP_DomExact::ubcertificateidx

certificate index of upper bound (-1 if not set or no certificate active)

Definition at line 187 of file struct_var.h.