Index of /trunk/source/Crocotta/src/de/uni_freiburg/informatik/ultimate/crocotta/ast

 Name                                                                     Last modified      Size  Description
 Parent Directory                                                                              -   
 Concatenation.java                                                       2024-10-27 17:48  3.0K  
 Crocotta.ast                                                             2018-04-25 15:14  1.8K  
 CrocottaAstTransformer.java                                              2024-10-27 17:48  1.3K  
 CrocottaAstVisitor.java                                                  2024-10-27 17:48  1.2K  
 CrocottaQuery.java                                                       2018-04-25 15:14  1.2K  
 Event.java                                                               2024-10-27 17:48  1.8K  
 FinInfExpression.java                                                    2024-10-27 17:48  2.4K  
 FixpointQuery.java                                                       2024-10-27 17:48  3.0K  
 InclusionQuery.java                                                      2024-10-27 17:48  3.1K  
 Intersection.java                                                        2024-10-27 17:48  3.0K  
 LanguageExpression.java                                                  2024-10-27 17:48  1.1K  
 Numeral.java                                                             2024-10-27 17:48  1.8K  
 Query.java                                                               2024-10-27 17:48  1.0K  
 Union.java                                                               2024-10-27 17:48  2.9K