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
(
)