#ifndef __BOUNDEDSET_HPP
#define __BOUNDEDSET_HPP

#include "set.hpp"
#include "bounded.hpp"

template<class Item, class Size>
class BoundedSet : public Set<Item> {
public:
        BoundedSet();

        //operators
        BoundedSet<Item>& operator=(const Item &item)    { Set<Item>::operator=(item); return *this; }
        BoundedSet<Item>& operator=(const Set<Item> &s)  { Set<Item>::operator=(s); return *this; }
        BoundedSet<Item>& operator+=(const Item &item)   { Set<Item>::operator+=(item); return *this; }
        BoundedSet<Item>& operator+=(const Set<Item> &s) { Set<Item>::operator+=(s); return *this; }
        BoundedSet<Item>& operator-=(const Item &item)   { Set<Item>::operator-=(item); return *this; }
        BoundedSet<Item>& operator-=(const Set<Item> &s) { Set<Item>::operator-=(s); return *this; }
        BoundedSet<Item>& operator*=(const Item &item)   { Set<Item>::operator*=(item); return *this; }
        BoundedSet<Item>& operator*=(const Set<Item> &s) { Set<Item>::operator=(s); return *this; }

        //non-operators
        virtual int isEmpty() const;
        virtual unsigned length() const;
        virtual void clear();
        virtual int contains(const Item &item) const;

protected:
        virtual void assign(const Item &i);
        virtual void assignTo(Set<Item> &s) const;
        virtual void setUnion(const Item &item);
        virtual void setUnionTo(Set<Item> &s) const;
        virtual void setDifference(const Item &item);
        virtual void setDifferenceTo(Set<Item> &s) const;
        virtual void setIntersection(const Item &item);
        virtual void setIntersection(const Set<Item> &s);

        virtual int equal(const Set<Item> &s) const;
        virtual int notequal(const Set<Item> &s) const;
        virtual int subset(const Set<Item> &s) const;
        virtual int superset(const Set<Item> &s) const;
        virtual int propersubset(const Set<Item> &s) const;
        virtual int propersuperset(const Set<Item> &s) const;

        Bounded<Item,Size> rep;

//cursor management
protected:
        struct BCursor_rep : public Cursor_rep {
                const BoundedSet *set;
                BCursor_rep *prev,*next;
                int currentIndex,nextIndex;
                ~Cursor_rep();
                virtual int isDone() const;
                virtual const Item& currentItem() const;
                virtual void advance();
        };
        friend class BCursor_rep;
        virtual Cursor_rep *makeCursorRep() const;
        virtual int cursor_isDone(const BCursor_rep *c) const;
        virtual const Item& cursor_currentItem(const BCursor_rep *c) const;
        virtual void cursor_advance(BCursor_rep *c) const;
        virtual void cursor_unlink(BCursor_rep *c) const;

        BCursor_rep *firstCursor;
};

#include "boundedset.cpp"

#endif