#include <string_history.hh>
◆ string_history()
      
        
          | awali::sttc::string_history::string_history  | 
          ( | 
           | ) | 
           | 
        
      
 
 
◆ add_state()
      
        
          | void awali::sttc::string_history::add_state  | 
          ( | 
          state_t  | 
          s,  | 
        
        
           | 
           | 
          const std::string &  | 
          str  | 
        
        
           | 
          ) | 
           |  | 
        
      
 
 
◆ get_desc()
      
        
          | const std::string& awali::sttc::string_history::get_desc  | 
          ( | 
           | ) | 
           const | 
        
      
 
 
◆ get_name()
      
        
          | const std::string& awali::sttc::string_history::get_name  | 
          ( | 
           | ) | 
           const | 
        
      
 
 
◆ get_nature()
◆ get_state()
◆ get_state_name()
      
        
          | const std::string& awali::sttc::string_history::get_state_name  | 
          ( | 
          state_t  | 
          s | ) | 
           const | 
        
      
 
 
◆ get_state_set()
  
  
      
        
          | std::vector<state_t> awali::sttc::string_history::get_state_set  | 
          ( | 
          state_t  | 
           | ) | 
           | 
         
       
   | 
  
overridevirtual   | 
  
 
 
◆ has_history()
  
  
      
        
          | bool awali::sttc::string_history::has_history  | 
          ( | 
          state_t  | 
          s | ) | 
           const | 
         
       
   | 
  
overridevirtual   | 
  
 
 
◆ origins()
      
        
          | const origins_t& awali::sttc::string_history::origins  | 
          ( | 
           | ) | 
           const | 
        
      
 
 
◆ print_state_name()
  
  
      
        
          | std::ostream& awali::sttc::string_history::print_state_name  | 
          ( | 
          state_t  | 
          s,  | 
         
        
           | 
           | 
          std::ostream &  | 
          o,  | 
         
        
           | 
           | 
          const std::string &  | 
            | 
         
        
           | 
          ) | 
           |  const | 
         
       
   | 
  
overridevirtual   | 
  
 
 
◆ remove_history()
  
  
      
        
          | bool awali::sttc::string_history::remove_history  | 
          ( | 
          state_t  | 
          s | ) | 
           | 
         
       
   | 
  
overridevirtual   | 
  
 
 
◆ set_desc()
      
        
          | void awali::sttc::string_history::set_desc  | 
          ( | 
          const std::string &  | 
          d | ) | 
           | 
        
      
 
 
◆ set_name()
      
        
          | void awali::sttc::string_history::set_name  | 
          ( | 
          const std::string &  | 
          n | ) | 
           | 
        
      
 
 
The documentation for this class was generated from the following file: