Member predicate Configuration :: explorationLimit
DEPRECATED: Use FlowExploration<explorationLimit> instead.
Gets the exploration limit for hasPartialFlow and hasPartialFlowRev
measured in approximate number of interprocedural steps.
int
explorationLimit
(
)