Predicate Make :: minAndMaxIntersect

Gets the minimum and maximum characters that intersect between a and b. This predicate is used to limit the size of getAThreewayIntersect.

Import path


                                import codeql.regex.nfa.SuperlinearBackTracking


                            
                                
                                    string
                                
                                 
                            
                            
                                minAndMaxIntersect
                            
                            
                                (
                                
                                    
                                        InputSymbol
                                    
                                     
                                    a
                                
                                , 
                                
                                    
                                        InputSymbol
                                    
                                     
                                    b
                                
                                )