formatting

Author: MarcG-TUE

include/maxplus/base/fsm/fsm.h

@@ -152,9 +152,7 @@ class State : public WithUniqueID {
     }
 
     // as a reference
-    [[nodiscard]] virtual const StateRef getReference() const {
-        return this;
-    }
+    [[nodiscard]] virtual const StateRef getReference() const { return this; }
 
     void insertOutgoingEdge(Edge &e) { this->outgoingEdges.insert(&e); }
 
@@ -215,7 +213,6 @@ class FiniteStateMachine {
     [[nodiscard]] virtual const SetOfStates &getStates() const = 0;
 };
 
-
 //
 // A generic DFS strategy on the target FSM
 // overwrite the methods onEnterState, onLeaveState, onTransition and onSimpleCycle with
@@ -339,9 +336,7 @@ class DetectCycle : public DepthFirstSearch {
     DetectCycle(DetectCycle &&) = delete;
     DetectCycle &operator=(DetectCycle &&) = delete;
 
-    bool checkForCycles() {
-        return this->checkForCycles(nullptr);
-    }
+    bool checkForCycles() { return this->checkForCycles(nullptr); }
 
     bool checkForCycles(ListOfStateRefs *cycle) {
         this->visitedStates.clear();
@@ -353,7 +348,9 @@ class DetectCycle : public DepthFirstSearch {
             if (this->hasCycle) {
                 return true;
             }
-            while (nextStartingState != states.end() && this->visitedStates.includesState((*nextStartingState).second->getReference())) {
+            while (nextStartingState != states.end()
+                   && this->visitedStates.includesState(
+                           (*nextStartingState).second->getReference())) {
                 nextStartingState++;
             }
         }
@@ -364,9 +361,7 @@ class DetectCycle : public DepthFirstSearch {
     SetOfStateRefs visitedStates;
     ListOfStateRefs *cycle = nullptr;
 
-    void onEnterState(StateRef s) override {
-        this->visitedStates.insert(s);
-    }
+    void onEnterState(StateRef s) override { this->visitedStates.insert(s); }
 
     void onSimpleCycle(DfsStack &stack) override {
         if (!this->hasCycle) {

src/testbench/graph/mpautomatontest.cc

@@ -118,9 +118,8 @@ void MPAutomatonTest::testMinimizeFSM() {
 
     fsa.setInitialState(*s0);
 
-    const auto fsaMin =
-            std::dynamic_pointer_cast<FSM::Labeled::FiniteStateMachine<int, int>>(
-                    fsa.minimizeEdgeLabels());
+    const auto fsaMin = std::dynamic_pointer_cast<FSM::Labeled::FiniteStateMachine<int, int>>(
+            fsa.minimizeEdgeLabels());
 
     std::cout << "Nr states: " << fsaMin->getStates().size() << std::endl;
     std::cout << "Nr edges: " << fsaMin->getEdges().size() << std::endl;
@@ -150,7 +149,7 @@ void MPAutomatonTest::testDetectCycleFSM() {
         FSM::Abstract::DetectCycle DC(fsa);
         bool hasCycle = DC.checkForCycles();
 
-        ASSERT(! hasCycle);
+        ASSERT(!hasCycle);
     }
 
     {

src/testbench/graph/testing.h

@@ -12,14 +12,14 @@ namespace testing {
         }                                                                                          \
     }
 
-#define ASSERT(x)                                                                         \
+#define ASSERT(x)                                                                                  \
     {                                                                                              \
-        if (!(x)) {                                                                          \
-            throw std::runtime_error(                                                              \
-                    std::string("Assert condition violated.") + std::string("\nIn:")              \
-                    + std::string(__FILE__) + std::string(":") + std::to_string(__LINE__)          \
-                    + std::string(" in ") + std::string(__FUNCTION__) + std::string(": ")          \
-                    + std::to_string((x)));            \
+        if (!(x)) {                                                                                \
+            throw std::runtime_error(std::string("Assert condition violated.")                     \
+                                     + std::string("\nIn:") + std::string(__FILE__)                \
+                                     + std::string(":") + std::to_string(__LINE__)                 \
+                                     + std::string(" in ") + std::string(__FUNCTION__)             \
+                                     + std::string(": ") + std::to_string((x)));                   \
         }                                                                                          \
     }