Predicate Make :: tupleDeltaBackwards

Holds if there exists a transition from src to dst in the product automaton. Where src and dst are both on a path from a start state to an end state. Notice that the arguments are flipped, and thus the direction is backwards.

Import path


                                import codeql.regex.nfa.SuperlinearBackTracking


                            
                                
                                    predicate
                                
                                 
                            
                            
                                tupleDeltaBackwards
                            
                            
                                (
                                
                                    
                                        StateTuple
                                    
                                     
                                    dst
                                
                                , 
                                
                                    
                                        StateTuple
                                    
                                     
                                    src
                                
                                )