Anonymous submission

gyankos · Oct 10, 2023 · 83681b6 · 83681b6
1 parent 2fc62f9
commit 83681b6
Show file tree

Hide file tree

Showing 16 changed files with 379 additions and 17 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -20,13 +20,19 @@ add_subdirectory(submodules/yaucl)
 include_directories(submodules/yaucl/include)
 include_directories(submodules/args/)
 include_directories(submodules/yaucl/submodules/magic_enum/include)
+include_directories(submodules/yaucl/submodules/CRoaring/)
+include_directories(submodules/yaucl/submodules/CRoaring/cpp)
+include_directories(submodules/yaucl/submodules/CRoaring/include)
 
 add_library(reducerlib include/declare_cases.h src/declare_cases.cpp src/ltlf.cpp include/ltlf.h include/my_unordered_set.h src/model_reducer.cpp include/model_reducer.h src/declare_to_lydialtlf.cpp include/declare_to_lydialtlf.h src/declare_to_powerdecl.cpp include/declare_to_powerdecl.h)
 target_link_libraries(reducerlib yaucl_hashing roaring antlr4_static yaucl_graph )
 
 add_executable(reducer main.cpp)
 target_link_libraries(reducer yaucl_hashing roaring antlr4_static yaucl_graph reducerlib)
 
+add_executable(to_automaton to_automaton.cpp)
+target_link_libraries(to_automaton yaucl_hashing roaring antlr4_static yaucl_graph reducerlib)
+
 
 add_executable(tests tests.cpp)
 target_link_libraries(tests PRIVATE Catch2::Catch2WithMain reducerlib)

diff --git a/include/declare_cases.h b/include/declare_cases.h
@@ -1,5 +1,24 @@
+/*
+ * declare_cases.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 19/08/23.
+// Created by Anonymous Ⅳ on 19/08/23.
 //
 
 #ifndef REDUCER_DECLARE_CASES_H

diff --git a/include/declare_to_lydialtlf.h b/include/declare_to_lydialtlf.h
@@ -1,5 +1,24 @@
+/*
+ * declare_to_lydialtlf.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * <program name> is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * <program name> is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with <program name>. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 26/08/23.
+// Created by Anonymous Ⅳ on 26/08/23.
 //
 
 #ifndef REDUCER_DECLARE_TO_LYDIALTLF_H

diff --git a/include/declare_to_powerdecl.h b/include/declare_to_powerdecl.h
@@ -1,5 +1,24 @@
+/*
+ * declare_to_powerdecl.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 26/08/23.
+// Created by Anonymous Ⅳ on 26/08/23.
 //
 
 #ifndef REDUCER_DECLARE_TO_POWERDECL_H

diff --git a/include/ltlf.h b/include/ltlf.h
@@ -1,5 +1,26 @@
+/*
+ * ltlf.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
 //
-// Created by giacomo on 20/08/23.
+// Created by Anonymous Ⅳ on 20/08/23.
 //
 
 #ifndef REDUCER_LTLF_H
@@ -438,7 +459,7 @@ void to_automaton(const ltlf& f,
     }
 
     auto result = minimizeDFA(g);
-//    result.dot(std::cout, false);
+    result.dot(std::cout, false);
 
 }
 

diff --git a/include/map_inout.h b/include/map_inout.h
@@ -1,3 +1,24 @@
+/*
+ * map_inout.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
 #pragma once
 //#define DEBUG
 #include <unordered_set>
@@ -152,4 +173,4 @@ template <typename T, typename V> struct map_inout {
         out.clear();
         in.clear();
     }
-};
+};
diff --git a/include/model_reducer.h b/include/model_reducer.h
@@ -1,5 +1,24 @@
+/*
+ * model_reducer.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 22/08/23.
+// Created by Anonymous Ⅳ on 22/08/23.
 //
 
 #ifndef REDUCER_MODEL_REDUCER_H

diff --git a/include/my_unordered_set.h b/include/my_unordered_set.h
@@ -1,5 +1,24 @@
+/*
+ * my_unordered_set.h
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 20/08/23.
+// Created by Anonymous Ⅳ on 20/08/23.
 //
 
 #ifndef REDUCER_MY_UNORDERED_SET_H

diff --git a/main.cpp b/main.cpp
@@ -1,3 +1,24 @@
+/*
+ * main.cpp
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
 #include <iostream>
 
 #include <fstream>

diff --git a/src/declare_cases.cpp b/src/declare_cases.cpp
@@ -1,5 +1,24 @@
+/*
+ * declare_cases.cpp
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 19/08/23.
+// Created by Anonymous Ⅳ on 19/08/23.
 //
 
 #include <declare_cases.h>
@@ -60,4 +79,4 @@ std::ostream& operator<<(std::ostream& os, const struct DeclareStraightforwardPr
          else
              return os << " " << ( std::quoted(d.bijection.getValue(d.to_print->right))) << ")";
     }
-}
+}
diff --git a/src/declare_to_lydialtlf.cpp b/src/declare_to_lydialtlf.cpp
@@ -1,5 +1,24 @@
+/*
+ * declare_to_lydialtlf.cpp
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 26/08/23.
+// Created by Anonymous Ⅳ on 26/08/23.
 //
 
 #include <declare_to_lydialtlf.h>
@@ -260,4 +279,4 @@ void stream_aaltaf_ltlf(std::ostream& os,
             generate_axiom_ltlf(os, act_map, atoms, " && ");
         }
     }
-}
+}
diff --git a/src/declare_to_powerdecl.cpp b/src/declare_to_powerdecl.cpp
@@ -1,5 +1,26 @@
+/*
+ * declare_to_powerdecl.cpp
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
 //
-// Created by giacomo on 26/08/23.
+// Created by Anonymous Ⅳ on 26/08/23.
 //
 
 #include <declare_to_powerdecl.h>

diff --git a/src/ltlf.cpp b/src/ltlf.cpp
@@ -1,5 +1,26 @@
+/*
+ * ltlf.cpp
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
 //
-// Created by giacomo on 20/08/23.
+// Created by Anonymous Ⅳ on 20/08/23.
 //
 
 #include <ltlf.h>

diff --git a/src/model_reducer.cpp b/src/model_reducer.cpp
@@ -1,5 +1,24 @@
+/*
+ * model_reducer.cpp
+ * This file is part of DECLAREd
+ *
+ * Copyright (C) 2023 - Anonymous Ⅳ
+ *
+ * DECLAREd is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * DECLAREd is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with DECLAREd. If not, see <http://www.gnu.org/licenses/>.
+ */
 //
-// Created by giacomo on 22/08/23.
+// Created by Anonymous Ⅳ on 22/08/23.
 //
 
 #define DEBUG
@@ -1066,4 +1085,4 @@ std::vector<DatalessCases> model_reducer::run(const std::vector<DatalessCases>&
     if (result.empty())
         result.emplace_back(TRUTH, -1, -1);
     return result;
-}
+}