text: /* 
   * File:   dfa_configuration.h
   * Author: vitor
   *
   * Created on April 2, 2018, 9:51 AM
   */
  
  #include <string>
  
  using namespace std;
  
  const string dfa_hostname = "localhost"; //!< hostname of dfanalyzer server
  const int dfa_port = 22000; //!< port of dfanalyzer server