Concat.hpp

Go to the documentation of this file.

#ifndef wali_regex_CONCAT_GUARD
#define wali_regex_CONCAT_GUARD 1

/*!
 * @author Nicholas Kidd
 */

#include "wali/regex/Regex.hpp"

namespace wali 
{
  namespace regex 
  {
    class Concat : public Regex 
    {
      public:
        Concat( regex_t left, regex_t right );

        virtual ~Concat();

        virtual std::ostream& print_recurse( std::ostream& o ) const;

        virtual void to_mona_recurse(std::ostream& o, const std::string& prefix ) const;
        virtual std::ostream& write_dot_recurse( std::ostream& o ) const;
        virtual wali::sem_elem_t solve_recurse();

        virtual void reset_marks() const;

      public:
        regex_t left,right;
    };

  } // namespace regex

} // namespace wali

#endif  // wali_regex_CONCAT_GUARD