source: trunk/IPs/systemC/Environment/TTY/include/TTY_Parameters.h

#ifndef ENVIRONMENT_TTY_PARAMETERS_H
#define ENVIRONMENT_TTY_PARAMETERS_H

#include <iostream>
#include <stdint.h>

namespace environment {
namespace tty {

  class Parameters
  {
  public : uint32_t      nb_tty;
  public : std::string * name_tty;
  public : bool          with_xtty;

  public : Parameters (uint32_t      nb_tty,
                       std::string * name_tty,
                       bool          with_xtty)
    {
      this->nb_tty    = nb_tty;
      this->name_tty  = name_tty;
      this->with_xtty = with_xtty;
    }
  };

};
};
#endif