TreeViewHtml.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__TREEVIEWHTML__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__TREEVIEWHTML__HH__
#include<fstream>
#include<diades/automata/experimental/StateMachine.hh>
#include<diades/automata/experimental/FiniteAutomaton.hh>

#include<diades/automata/experimental/FaultyEventStateMachine.hh>

#include "EventSet.hh"
#include<diades/automata/experimental/DdSyncDescriptor.hh>

namespace Diades
{
  namespace Automata
  {
    namespace Experimental
    {
      std::string listSingleItem(const std::string & item);

      std::string startListCaretItem(const std::string & item);

      std::string endListCaretItem();



      std::string startTree(const std::string & treeId);

      std::string endTree();
      
      std::string startNestedTree();
      
      std::string endNestedTree();

      
      std::ostream & toTreeViewHtmlStart(std::ostream & os);


      std::ostream & toTreeViewHtmlEnd(std::ostream & os);
    }
   }
}


#endif