TestTopology.cc

Go to the documentation of this file.

#include <iostream>
#include <automata/Topology.hh>

using namespace std;
using namespace Diades::Automata;

int main(int argc, char** argv)
{
  cout << "Topology conversion to graphviz" << endl;
  cout << "LAAS-CNRS, 2006-2011, 7 avenue du Colonel Roche, Toulouse, France" << endl;
  cout << "Contact: yannick.pencole@laas.fr" << endl;
  if(argc !=2)
        {
          cerr << "Usage: Topology2Dot file" << endl;
          cerr << "  read the topology written in the file and export into the dot format" << endl;
        }
  else
        {
          string fileName = argv[1];
          Topology top;
          top.import(fileName);
          top.topology2dot(fileName + ".dot");
        }
}