Index of /trunk/source/Library-Automata/src/de/uni_freiburg/informatik/ultimate/automata/tree/operations

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 difference/                                                                           2018-07-30 14:12    -   
 minimization/                                                                         2023-06-01 16:08    -   
 Accepts.java                                                                          2017-12-08 16:15  5.2K  
 AGetRandomFtaBU.java                                                                  2018-07-30 14:12   19K  
 Complement.java                                                                       2023-06-01 16:08  4.8K  
 Determinize.java                                                                      2018-07-30 14:12  9.8K  
 GetRandomDftaBU.java                                                                  2017-12-08 16:15   18K  
 GetRandomNftaBU.java                                                                  2017-11-16 06:20   17K  
 Intersect.java                                                                        2018-07-30 14:12  8.1K  
 isDetereministic.java                                                                 2017-12-08 16:15  1.9K  
 IsEmpty.java                                                                          2017-12-08 16:15  5.2K  
 IsEquivalent.java                                                                     2022-10-15 15:54   13K  
 IsIncluded.java                                                                       2021-02-19 15:38  7.8K  
 isTotal.java                                                                          2017-12-08 16:15  2.6K  
 Totalize.java                                                                         2023-06-01 16:08  7.7K