SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
a set of expression trees, stored in a single directed acyclic graph the variables of the graph are stored at depth 0 for each depth, an array of nodes is stored
Definition at line 155 of file struct_expr.h.
#include <struct_expr.h>
Public Member Functions | |
| SCIP_DECL_EXPRGRAPHVARADDED ((*exprgraphvaradded)) | |
| SCIP_DECL_EXPRGRAPHVARREMOVE ((*exprgraphvarremove)) | |
| SCIP_DECL_EXPRGRAPHVARCHGIDX ((*exprgraphvarchgidx)) | |
Data Fields | |
| BMS_BLKMEM * | blkmem |
| int | depth |
| int * | nodessize |
| int * | nnodes |
| SCIP_EXPRGRAPHNODE *** | nodes |
| int | varssize |
| int | nvars |
| void ** | vars |
| SCIP_EXPRGRAPHNODE ** | varnodes |
| SCIP_INTERVAL * | varbounds |
| SCIP_HASHMAP * | varidxs |
| int | constssize |
| int | nconsts |
| SCIP_EXPRGRAPHNODE ** | constnodes |
| SCIP_Bool | constssorted |
| void * | userdata |
| SCIP_Bool | needvarboundprop |
| SCIP_ExprGraph::SCIP_DECL_EXPRGRAPHVARADDED | ( | * | exprgraphvaradded | ) |
callback for variable addition event
| SCIP_ExprGraph::SCIP_DECL_EXPRGRAPHVARREMOVE | ( | * | exprgraphvarremove | ) |
callback for variable removal event
| SCIP_ExprGraph::SCIP_DECL_EXPRGRAPHVARCHGIDX | ( | * | exprgraphvarchgidx | ) |
callback for variable index change event
| BMS_BLKMEM* SCIP_ExprGraph::blkmem |
block memory
Definition at line 157 of file struct_expr.h.
Referenced by exprgraphAddExpr(), exprgraphEnsureDepth(), exprgraphFindParentByOperator(), exprgraphMoveNode(), exprgraphNodeCreateExpr(), exprgraphNodePropagateBounds(), exprgraphNodeRemovePolynomialDuplicateChildren(), exprgraphNodeReplaceChild(), exprgraphNodeSimplify(), SCIPexprgraphAddConst(), SCIPexprgraphAddExprtreeSum(), SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSumTrees(), SCIPexprgraphGetTree(), SCIPexprgraphNodeSplitOffLinear(), SCIPexprgraphReleaseNode(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSimplify().
| int SCIP_ExprGraph::depth |
depth of expression graph
Definition at line 159 of file struct_expr.h.
Referenced by exprgraphEnsureDepth(), exprgraphMoveNode(), SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), SCIPexprgraphCheckCurvature(), SCIPexprgraphEval(), SCIPexprgraphGetDepth(), SCIPexprgraphPrintDot(), SCIPexprgraphPropagateNodeBounds(), SCIPexprgraphPropagateVarBounds(), SCIPexprgraphReleaseNode(), and SCIPexprgraphSimplify().
| int* SCIP_ExprGraph::nodessize |
current size of nodes array for each depth
Definition at line 160 of file struct_expr.h.
Referenced by exprgraphEnsureDepth(), exprgraphMoveNode(), SCIPexprgraphAddNode(), and SCIPexprgraphAddVars().
| int* SCIP_ExprGraph::nnodes |
number of nodes for each depth
Definition at line 161 of file struct_expr.h.
Referenced by exprgraphEnsureDepth(), exprgraphMoveNode(), SCIPexprgraphAddConst(), SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), SCIPexprgraphCheckCurvature(), SCIPexprgraphEval(), SCIPexprgraphGetNNodes(), SCIPexprgraphPrintDot(), SCIPexprgraphPropagateNodeBounds(), SCIPexprgraphPropagateVarBounds(), SCIPexprgraphReleaseNode(), and SCIPexprgraphSimplify().
| SCIP_EXPRGRAPHNODE*** SCIP_ExprGraph::nodes |
nodes of expression graph for each depth
Definition at line 162 of file struct_expr.h.
Referenced by exprgraphEnsureDepth(), exprgraphMoveNode(), SCIPexprgraphAddNode(), SCIPexprgraphAddVars(), SCIPexprgraphCheckCurvature(), SCIPexprgraphEval(), SCIPexprgraphGetNodes(), SCIPexprgraphPrintDot(), SCIPexprgraphPropagateNodeBounds(), SCIPexprgraphPropagateVarBounds(), SCIPexprgraphReleaseNode(), and SCIPexprgraphSimplify().
| int SCIP_ExprGraph::varssize |
length of vars array
Definition at line 164 of file struct_expr.h.
Referenced by SCIPexprgraphAddVars(), and SCIPexprgraphReplaceVarByLinearSum().
| int SCIP_ExprGraph::nvars |
number of variables in expression graph
Definition at line 165 of file struct_expr.h.
Referenced by exprgraphAddExpr(), exprgraphNodeCreateExpr(), exprgraphRemoveVar(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphAddVars(), SCIPexprgraphEval(), SCIPexprgraphGetNodeVar(), SCIPexprgraphGetNVars(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSubtreeVarsUsage(), SCIPexprgraphGetSumTrees(), SCIPexprgraphGetTree(), SCIPexprgraphNodeSplitOffLinear(), SCIPexprgraphReplaceVarByLinearSum(), SCIPexprgraphSetVarsBounds(), and SCIPexprgraphSimplify().
| void** SCIP_ExprGraph::vars |
array for variables in expression graph, having length varssize
Definition at line 166 of file struct_expr.h.
Referenced by exprgraphAddExpr(), exprgraphRemoveVar(), SCIPexprgraphAddVars(), SCIPexprgraphGetNodeVar(), SCIPexprgraphGetSeparableTrees(), SCIPexprgraphGetSumTrees(), SCIPexprgraphGetTree(), SCIPexprgraphGetVars(), SCIPexprgraphNodeSplitOffLinear(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSetVarBounds().
| SCIP_EXPRGRAPHNODE** SCIP_ExprGraph::varnodes |
nodes corresponding to variables in expression graph
Definition at line 167 of file struct_expr.h.
Referenced by exprgraphRemoveVar(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphAddVars(), SCIPexprgraphFindVarNode(), SCIPexprgraphGetVarNodes(), SCIPexprgraphReplaceVarByLinearSum(), SCIPexprgraphSetVarNodeBounds(), SCIPexprgraphSetVarNodeLb(), and SCIPexprgraphSetVarNodeUb().
| SCIP_INTERVAL* SCIP_ExprGraph::varbounds |
current bounds on variables
Definition at line 168 of file struct_expr.h.
Referenced by exprgraphRemoveVar(), exprgraphUpdateVarNodeBounds(), SCIPexprgraphAddVars(), SCIPexprgraphGetVarsBounds(), SCIPexprgraphReplaceVarByLinearSum(), SCIPexprgraphSetVarBounds(), SCIPexprgraphSetVarNodeBounds(), SCIPexprgraphSetVarNodeLb(), SCIPexprgraphSetVarNodeUb(), and SCIPexprgraphSetVarsBounds().
| SCIP_HASHMAP* SCIP_ExprGraph::varidxs |
maps variables to variable indices
Definition at line 169 of file struct_expr.h.
Referenced by exprgraphRemoveVar(), SCIPexprgraphAddVars(), SCIPexprgraphFindVarNode(), SCIPexprgraphReplaceVarByLinearSum(), and SCIPexprgraphSetVarBounds().
| int SCIP_ExprGraph::constssize |
length of consts array
Definition at line 171 of file struct_expr.h.
Referenced by exprgraphMoveNode(), SCIPexprgraphAddConst(), and SCIPexprgraphReplaceVarByLinearSum().
| int SCIP_ExprGraph::nconsts |
number of constants in expression graph
Definition at line 172 of file struct_expr.h.
Referenced by exprgraphFindConstNodePos(), exprgraphMoveNode(), exprgraphSortConstNodes(), SCIPexprgraphAddConst(), SCIPexprgraphFindConstNode(), SCIPexprgraphReleaseNode(), and SCIPexprgraphReplaceVarByLinearSum().
| SCIP_EXPRGRAPHNODE** SCIP_ExprGraph::constnodes |
nodes corresponding to constants in expression graph
Definition at line 173 of file struct_expr.h.
Referenced by exprgraphFindConstNodePos(), exprgraphMoveNode(), exprgraphSortConstNodes(), SCIPexprgraphAddConst(), SCIPexprgraphFindConstNode(), SCIPexprgraphReleaseNode(), and SCIPexprgraphReplaceVarByLinearSum().
| SCIP_Bool SCIP_ExprGraph::constssorted |
whether the constnodes array has been sorted
Definition at line 174 of file struct_expr.h.
Referenced by exprgraphFindConstNodePos(), exprgraphMoveNode(), exprgraphSortConstNodes(), SCIPexprgraphAddConst(), SCIPexprgraphFindConstNode(), SCIPexprgraphReleaseNode(), and SCIPexprgraphReplaceVarByLinearSum().
| void* SCIP_ExprGraph::userdata |
user data associated with callback methods
Definition at line 179 of file struct_expr.h.
Referenced by exprgraphRemoveVar(), SCIPexprgraphAddVars(), and SCIPexprgraphReplaceVarByLinearSum().
| SCIP_Bool SCIP_ExprGraph::needvarboundprop |
whether variable bounds need be propagated, e.g., because new nodes have been added to the graph
Definition at line 181 of file struct_expr.h.
Referenced by SCIPexprgraphAddNode(), SCIPexprgraphEnableNode(), SCIPexprgraphNodeSplitOffLinear(), and SCIPexprgraphPropagateVarBounds().