Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SCIP_ExprIter Struct Reference

    Detailed Description

    expression iterator

    Definition at line 205 of file struct_expr.h.

    #include <struct_expr.h>

    Data Fields

    BMS_BLKMEM * blkmem
     
    SCIP_STAT * stat
     
    SCIP_Bool initialized
     
    SCIP_EXPRITER_TYPE itertype
     
    SCIP_EXPR * curr
     
    int iterindex
     
    SCIP_Longint visitedtag
     
    SCIP_EXPR ** dfsexprs
     
    int * dfsnvisited
     
    int dfsnexprs
     
    int dfssize
     
    SCIP_QUEUE * queue
     
    SCIP_EXPRITER_STAGE dfsstage
     
    unsigned int stopstages
     

    Field Documentation

    ◆ blkmem

    BMS_BLKMEM* SCIP_ExprIter::blkmem

    block memory

    Definition at line 207 of file struct_expr.h.

    Referenced by deinit(), and ensureStackSize().

    ◆ stat

    SCIP_STAT* SCIP_ExprIter::stat

    dynamic problem statistics

    Definition at line 208 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 210 of file struct_expr.h.

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

    ◆ itertype

    SCIP_EXPRITER_TYPE SCIP_ExprIter::itertype

    type of expression iterator

    Definition at line 211 of file struct_expr.h.

    Referenced by deinit(), doBfsNext(), doDfsNext(), doReverseTopologicalNext(), ensureStackSize(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetChildUserDataDFS(), SCIPexpriterGetNext(), SCIPexpriterGetParentDFS(), SCIPexpriterGetStageDFS(), SCIPexpriterInit(), SCIPexpriterRestartDFS(), SCIPexpriterSetChildUserData(), and SCIPexpriterSkipDFS().

    ◆ curr

    SCIP_EXPR* SCIP_ExprIter::curr

    current expression of the iterator

    Definition at line 212 of file struct_expr.h.

    Referenced by doDfsNext(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetChildUserDataDFS(), SCIPexpriterGetCurrent(), SCIPexpriterGetCurrentUserData(), SCIPexpriterGetNext(), SCIPexpriterGetParentDFS(), SCIPexpriterInit(), SCIPexpriterIsEnd(), SCIPexpriterRestartDFS(), SCIPexpriterSetChildUserData(), SCIPexpriterSetCurrentUserData(), and SCIPexpriterSkipDFS().

    ◆ iterindex

    int SCIP_ExprIter::iterindex

    index of iterator data in expressions, or -1 if not using iterator data in expressions

    Definition at line 213 of file struct_expr.h.

    Referenced by deinit(), doBfsNext(), doDfsNext(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetChildUserDataDFS(), SCIPexpriterGetCurrentUserData(), SCIPexpriterGetExprUserData(), SCIPexpriterGetNext(), SCIPexpriterGetParentDFS(), SCIPexpriterInit(), SCIPexpriterRestartDFS(), SCIPexpriterSetChildUserData(), SCIPexpriterSetCurrentUserData(), SCIPexpriterSetExprUserData(), and SCIPexpriterSkipDFS().

    ◆ 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 214 of file struct_expr.h.

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

    ◆ dfsexprs

    SCIP_EXPR** SCIP_ExprIter::dfsexprs

    DFS stack

    Definition at line 217 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 218 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 219 of file struct_expr.h.

    Referenced by doReverseTopologicalNext(), and reverseTopologicalInsert().

    ◆ dfssize

    int SCIP_ExprIter::dfssize

    size of DFS stack

    Definition at line 220 of file struct_expr.h.

    Referenced by deinit(), and ensureStackSize().

    ◆ queue

    SCIP_QUEUE* SCIP_ExprIter::queue

    BFS queue

    Definition at line 223 of file struct_expr.h.

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

    ◆ dfsstage

    SCIP_EXPRITER_STAGE SCIP_ExprIter::dfsstage

    current stage

    Definition at line 226 of file struct_expr.h.

    Referenced by doDfsNext(), SCIPexpriterGetChildExprDFS(), SCIPexpriterGetChildIdxDFS(), SCIPexpriterGetChildUserDataDFS(), SCIPexpriterGetNext(), SCIPexpriterGetStageDFS(), SCIPexpriterInit(), SCIPexpriterRestartDFS(), SCIPexpriterSetChildUserData(), SCIPexpriterSetStagesDFS(), and SCIPexpriterSkipDFS().

    ◆ stopstages

    unsigned int SCIP_ExprIter::stopstages

    stages in which to interrupt iterator

    Definition at line 227 of file struct_expr.h.

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