style!: Rename print_to_DOT() to print_to_dot() for easier typing and…

… consistency

README.md

@@ -162,7 +162,7 @@ Further, you can add transitions in form of tripple `(state_from, symbol, target
 You can verify the state of your automaton by generating the automaton in `.dot` format.
 
 ```cpp
-    aut.print_to_DOT(std::cout);
+    aut.print_to_dot(std::cout);
 
     return 0;
 }

bindings/python/CONTRIBUTING.md

@@ -599,7 +599,7 @@ output = new mata_nfa.ofstream(output_file.encode('utf-8'))
 #        ^-- creates new ofstream
 #                              ^-- you need to encode the Python string to utf-8
 try:
-    self.thisptr.get().print_to_DOT(dereference(output))
+    self.thisptr.get().print_to_dot(dereference(output))
     #                               ^-- call the function with the ofstream
 finally:
 # ^-- this assures that the `output` will be cleaned

bindings/python/libmata/nfa/nfa.pxd

@@ -158,7 +158,7 @@ cdef extern from "mata/nfa/nfa.hh" namespace "mata::nfa":
         StateSet post(StateSet&, Symbol)
         State add_state()
         State add_state(State)
-        void print_to_DOT(ostream)
+        void print_to_dot(ostream)
         CNfa& trim(StateRenaming*)
         CNfa& concatenate(CNfa&)
         CNfa& unite_nondet_with(CNfa&)

bindings/python/libmata/nfa/nfa.pyx

@@ -627,7 +627,7 @@ cdef class Nfa:
         cdef mata_nfa.ofstream* output
         output = new mata_nfa.ofstream(output_file.encode('utf-8'))
         try:
-            self.thisptr.get().print_to_DOT(dereference(output))
+            self.thisptr.get().print_to_dot(dereference(output))
         finally:
             del output
 
@@ -646,7 +646,7 @@ cdef class Nfa:
         output_stream = new mata_nfa.stringstream("".encode('ascii'))
         cdef string result
         try:
-            self.thisptr.get().print_to_DOT(dereference(output_stream))
+            self.thisptr.get().print_to_dot(dereference(output_stream))
             result = output_stream.str()
         finally:
             del output_stream

examples/example01-simple.cc

@@ -14,5 +14,5 @@ int main() {
     aut.delta.add(0, 0, 2);
     aut.delta.add(1, 1, 3);
 
-    aut.print_to_DOT(std::cout);
+    aut.print_to_dot(std::cout);
 }

examples/example02-determinize.cc

@@ -27,5 +27,5 @@ int main() {
     aut.delta.add(4, 'c', 8);
 
     Nfa determ{ determinize(aut) };
-    determ.print_to_DOT(std::cout);
+    determ.print_to_dot(std::cout);
 }

examples/example05-parsing.cc

@@ -42,6 +42,6 @@ int main(int argc, char *argv[]) {
     }
 
 
-    aut.print_to_DOT(std::cout);
+    aut.print_to_dot(std::cout);
     return EXIT_SUCCESS;
 }

include/mata/nfa/nfa.hh

@@ -256,11 +256,11 @@ public:
      *
      * @return automaton in DOT format
      */
-    std::string print_to_DOT() const;
+    std::string print_to_dot() const;
     /**
      * @brief Prints the automaton to the output stream in DOT format
      */
-    void print_to_DOT(std::ostream &output) const;
+    void print_to_dot(std::ostream &output) const;
     /**
      * @brief Prints the automaton in mata format
      *

src/nfa/nfa.cc

@@ -379,13 +379,13 @@ bool Nfa::is_acyclic() const {
     return acyclic;
 }
 
-std::string Nfa::print_to_DOT() const {
+std::string Nfa::print_to_dot() const {
     std::stringstream output;
-    print_to_DOT(output);
+    print_to_dot(output);
     return output.str();
 }
 
-void Nfa::print_to_DOT(std::ostream &output) const {
+void Nfa::print_to_dot(std::ostream &output) const {
     output << "digraph finiteAutomaton {" << std::endl
                  << "node [shape=circle];" << std::endl;