DiaDes  0.1
DIAgnosis of Discrete-Event System
Namespaces | Functions
TreeViewHtml.hh File Reference
#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>

Go to the source code of this file.

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Automata
 
 Diades::Automata::Experimental
 

Functions

std::string Diades::Automata::Experimental::listSingleItem (const std::string &item)
 
std::string Diades::Automata::Experimental::startListCaretItem (const std::string &item)
 
std::string Diades::Automata::Experimental::endListCaretItem ()
 
std::string Diades::Automata::Experimental::startTree (const std::string &treeId)
 
std::string Diades::Automata::Experimental::endTree ()
 
std::string Diades::Automata::Experimental::startNestedTree ()
 
std::string Diades::Automata::Experimental::endNestedTree ()
 
std::ostream & Diades::Automata::Experimental::toTreeViewHtmlStart (std::ostream &os)
 
std::ostream & Diades::Automata::Experimental::toTreeViewHtmlEnd (std::ostream &os)
 

Detailed Description

Author
Yannick Pencole, ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr, LAAS-CNRS, Univ. Toulouse, FRANCE
Date
07 April 2020 11:07

Definition in file TreeViewHtml.hh.