Go to the source code of this file.
◆ GetIncrementalReachabilityAnalysisEnabled()
Returns true if incremental reachability analysis is enabled
◆ GetReachabilityAnalysisTimeLimit()
Returns the time limit for incremental rachability analysis.
- Returns
- time limit (in seconds) for incremental rachability analysis.
◆ SetIncrementalReachabilityAnalysisEnabled()
Enables or disables incremental reachability analysis.
- Parameters
-
| bEnabled | True if incremental reachability analysis is to be enabled |
◆ SetReachabilityAnalysisTimeLimit()
Sets time limit for incremental rachability analysis (if enabled).
- Parameters
-
| TimeLimitSeconds | Time limit (in seconds) for incremental raachability analysis |