SCIP_Certnodedata Struct Reference

Detailed Description

Definition at line 102 of file struct_certificate.h.

#include <struct_certificate.h>

Data Fields
SCIP_Longint	assumptionindex_self
SCIP_Longint	derindex_self
SCIP_RATIONAL *	derbound_self
SCIP_Longint	assumptionindex_left
SCIP_Longint	derindex_left
SCIP_RATIONAL *	derbound_left
SCIP_Longint	assumptionindex_right
SCIP_Longint	derindex_right
SCIP_RATIONAL *	derbound_right
unsigned int	leftfilled:1
unsigned int	leftinfeas:1
unsigned int	rightfilled:1
unsigned int	rightinfeas:1
unsigned int	inheritedbound:1

Field Documentation

assumptionindex_self

SCIP_Longint SCIP_Certnodedata::assumptionindex_self

line index where node's last assumption is printed

Definition at line 104 of file struct_certificate.h.

derindex_self

SCIP_Longint SCIP_Certnodedata::derindex_self

line index of node's own bound, initially inherited from parent

Definition at line 105 of file struct_certificate.h.

Referenced by SCIPcertificateNewNodeData().

derbound_self

SCIP_RATIONAL* SCIP_Certnodedata::derbound_self

node's own bound, initially inherited from parent

Definition at line 106 of file struct_certificate.h.

Referenced by SCIPcertificateNewNodeData().

assumptionindex_left

SCIP_Longint SCIP_Certnodedata::assumptionindex_left

line index of left branch assumption

Definition at line 107 of file struct_certificate.h.

Referenced by certificateIsLeftNode(), and SCIPcertificateUpdateBranchingData().

derindex_left

SCIP_Longint SCIP_Certnodedata::derindex_left

line index of derivation assuming assumption left

Definition at line 108 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

derbound_left

SCIP_RATIONAL* SCIP_Certnodedata::derbound_left

bound of left derivation

Definition at line 109 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

assumptionindex_right

SCIP_Longint SCIP_Certnodedata::assumptionindex_right

line index of right branch assumption

Definition at line 110 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateBranchingData().

derindex_right

SCIP_Longint SCIP_Certnodedata::derindex_right

line index of derivation assuming assumption right

Definition at line 111 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

derbound_right

SCIP_RATIONAL* SCIP_Certnodedata::derbound_right

bound of right derivation

Definition at line 112 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

leftfilled

unsigned int SCIP_Certnodedata::leftfilled

is the data for the left child node set?

Definition at line 113 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

leftinfeas

unsigned int SCIP_Certnodedata::leftinfeas

is the left node infeasible ?

Definition at line 114 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

rightfilled

unsigned int SCIP_Certnodedata::rightfilled

is the data for the right child node set?

Definition at line 115 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

rightinfeas

unsigned int SCIP_Certnodedata::rightinfeas

is the node right infeasible ?

Definition at line 116 of file struct_certificate.h.

Referenced by SCIPcertificateUpdateParentData().

inheritedbound

unsigned int SCIP_Certnodedata::inheritedbound

did the node inherit its bound from its parent node?

Definition at line 117 of file struct_certificate.h.