// EdoKey.h

#ifndef hes_EdoKey_H
#define hes_EdoKey_H

// David Adams
// February 2002
//
// An EDO key is a HES name.

#include "Name.h"
#include <iosfwd>

namespace hes {

class EdoKey : public Name {

public:  // static functions

  // Version.
  static int version();

public:  // methods

  // Default constructor.
  // Key is invalid.
  EdoKey();

  // Constructor from a name.
  explicit EdoKey(Name name);

  // Constructor from an array of indices.
  // Data is taken starting and the input value of the pointer.
  // Output value points after the last value used.
  explicit EdoKey(const Index*& pidx);

};

}  // end namespace

// Output stream.
std::ostream& operator<<(std::ostream& lhs, const hes::EdoKey& rhs);

#endif