Index of /trunk/source/AutomatonDeltaDebugger/src/de/uni_freiburg/informatik/ultimate/plugins/analysis/automatondeltadebugger/shrinkers

 Name                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                           -   
 AbstractShrinker.java                                                                                                 2017-11-16 06:20  6.9K  
 BridgeShrinker.java                                                                                                   2017-11-16 06:20  3.5K  
 CallReturnChainShrinker.java                                                                                          2018-06-11 13:23  6.8K  
 CallTransitionShrinker.java                                                                                           2017-11-16 06:20  3.2K  
 ChangeInitialStatesShrinker.java                                                                                      2017-11-16 06:20  6.2K  
 CommonSingleExitShrinker.java                                                                                         2018-06-11 13:23  5.2K  
 InternalTransitionShrinker.java                                                                                       2017-11-16 06:20  3.2K  
 NormalizeStateShrinker.java                                                                                           2017-11-16 06:20   12K  
 package-info.java                                                                                                     2016-09-30 17:19  1.6K  
 ReturnTransitionShrinker.java                                                                                         2017-11-16 06:20  3.2K  
 SingleExitShrinker.java                                                                                               2018-06-11 13:23  8.5K  
 StateShrinker.java                                                                                                    2017-11-16 06:20  2.9K  
 UnusedLetterShrinker.java                                                                                             2018-06-11 13:23  6.4K