private static Map < Literal , Integer > nonCachingLiteralProfile ( final Formula formula ) { final SortedMap < Literal , Integer > map = new TreeMap <> ( ) ; nonCachingRecursion ( formula , map ) ; return map ; }
The non - caching implementation of the literal profile computation . In this case the result map is only constructed once and results are just added to it .