Scippy

SCIP

Solving Constraint Integer Programs

SCIP_ExprIter Struct Reference

Detailed Description

expression iterator

Definition at line 203 of file struct_expr.h.

#include <struct_expr.h>

Data Fields

BMS_BLKMEMblkmem
 
SCIP_STATstat
 
SCIP_Bool initialized
 
SCIP_EXPRITER_TYPE itertype
 
SCIP_EXPRcurr
 
int iterindex
 
SCIP_Longint visitedtag
 
SCIP_EXPR ** dfsexprs
 
int * dfsnvisited
 
int dfsnexprs
 
int dfssize
 
SCIP_QUEUEqueue
 
SCIP_EXPRITER_STAGE dfsstage
 
unsigned int stopstages
 

Field Documentation

◆ blkmem

BMS_BLKMEM* SCIP_ExprIter::blkmem

block memory

Definition at line 205 of file struct_expr.h.

Referenced by deinit(), and ensureStackSize().

◆ stat

SCIP_STAT* SCIP_ExprIter::stat

dynamic problem statistics

Definition at line 206 of file struct_expr.h.

Referenced by deinit(), and SCIPexpriterInit().

◆ initialized

SCIP_Bool SCIP_ExprIter::initialized

whether the iterator has been initialized, that is, is in use

Definition at line 208 of file struct_expr.h.

Referenced by deinit(), SCIPexpriterInit(), SCIPexpriterIsInit(), and SCIPexpriterRestartDFS().

◆ itertype

◆ curr

◆ iterindex

◆ visitedtag

SCIP_Longint SCIP_ExprIter::visitedtag

tag to mark and recognize an expression as visited, or 0 if not avoiding multiple visits

Definition at line 212 of file struct_expr.h.

Referenced by doBfsNext(), doDfsNext(), SCIPexpriterGetNext(), SCIPexpriterInit(), and SCIPexpriterRestartDFS().

◆ dfsexprs

SCIP_EXPR** SCIP_ExprIter::dfsexprs

DFS stack

Definition at line 215 of file struct_expr.h.

Referenced by deinit(), doReverseTopologicalNext(), ensureStackSize(), and reverseTopologicalInsert().

◆ dfsnvisited

int* SCIP_ExprIter::dfsnvisited

number of visited children for each expression in the stack

Definition at line 216 of file struct_expr.h.

Referenced by deinit(), doReverseTopologicalNext(), ensureStackSize(), and reverseTopologicalInsert().

◆ dfsnexprs

int SCIP_ExprIter::dfsnexprs

total number of expression in stack

Definition at line 217 of file struct_expr.h.

Referenced by doReverseTopologicalNext(), and reverseTopologicalInsert().

◆ dfssize

int SCIP_ExprIter::dfssize

size of DFS stack

Definition at line 218 of file struct_expr.h.

Referenced by deinit(), and ensureStackSize().

◆ queue

SCIP_QUEUE* SCIP_ExprIter::queue

BFS queue

Definition at line 221 of file struct_expr.h.

Referenced by deinit(), doBfsNext(), and SCIPexpriterInit().

◆ dfsstage

◆ stopstages

unsigned int SCIP_ExprIter::stopstages

stages in which to interrupt iterator

Definition at line 225 of file struct_expr.h.

Referenced by SCIPexpriterGetNext(), SCIPexpriterInit(), SCIPexpriterRestartDFS(), SCIPexpriterSetStagesDFS(), and SCIPexpriterSkipDFS().