void State::updateWeakSoftReachableValue()

in src/roots/roots_state.cpp [30:40]

• 11 lines of code
• 5 McCabe index (conditional complexity)

void State::updateWeakSoftReachableValue(const State &referrerState) {
    if (isWeakSoftReachable()) {
        if (!referrerState.isWeakSoftReachable()) {
            setWeakSoftReachable(false);
        }
    } else {
        if (referrerState.isWeakSoftReachable() && !isAlreadyVisited()) {
            setWeakSoftReachable(true);
        }
    }
}