Member predicate RegexString :: quantifiedPart

Holds if a quantified part is found between start and part_end and the quantifier is found between part_end and end.

maybe_empty is true if the part is optional. may_repeat_forever is true if the part may be repeated unboundedly.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                quantifiedPart
                            
                            
                                (
                                
                                    
                                        int
                                    
                                     
                                    start
                                
                                , 
                                
                                    
                                        int
                                    
                                     
                                    part_end
                                
                                , 
                                
                                    
                                        int
                                    
                                     
                                    end
                                
                                , 
                                
                                    
                                        boolean
                                    
                                     
                                    maybe_empty
                                
                                , 
                                
                                    
                                        boolean
                                    
                                     
                                    may_repeat_forever
                                
                                )