Searched refs:AMV_PLUS_X (Results 1 – 3 of 3) sorted by relevance
157 mppSearchType >= AMV_PLUS_X && mppSearchType < NO_APPROX) // approx-based in NonDLocalReliability()202 case AMV_X: case AMV_PLUS_X: case TANA_X: case QMEA_X: { in NonDLocalReliability()379 case AMV_X: case AMV_PLUS_X: case TANA_X: case QMEA_X: { in NonDLocalReliability()1072 case AMV_X: case AMV_U: case AMV_PLUS_X: case AMV_PLUS_U: in initial_taylor_series()1311 else if (mppSearchType == AMV_PLUS_X || mppSearchType == AMV_PLUS_U || in initialize_level_data()1331 if (mppSearchType >= AMV_PLUS_X) in initialize_level_data()1516 case AMV_PLUS_X: case TANA_X: case QMEA_X: in update_mpp_search_data()1536 case AMV_PLUS_X: case TANA_X: case QMEA_X: in update_mpp_search_data()1792 bool x_space = (mppSearchType == AMV_X || mppSearchType == AMV_PLUS_X || in update_limit_state_surrogate()
205 enum { MV=0, AMV_X, AMV_U, AMV_PLUS_X, AMV_PLUS_U, TANA_X, TANA_U, enumerator
7226 MP2s(reliabilitySearchType,AMV_PLUS_X),