// ClaimManager.h

#ifndef dset_ClaimManager
#define dset_ClaimManager

// A claim manager provides access to the lsit of existing claims
// and their assignments.

#include <string>

namespace dset {

class ClaimManager {

private:  // data

  std::string m_add;

public:  // static methods

  // Return a reference to the claim manager with the
  // specified address.
  ClaimManager& instance(std::string add ="");

public:

  // Destructor.
  virtual ~ClaimManager();

  // Is this a valid claim manager?
  virtual bool is_valid() const =0;

};

}  // end namespace dset

#endif