SDC_ALLOW_PATH_ORDER_CHANGES top-level constant

int const SDC_ALLOW_PATH_ORDER_CHANGES

Implementation

const int SDC_ALLOW_PATH_ORDER_CHANGES = 8192;