#ifndef _BACKENDVECTOR_
#define _BACKENDVECTOR_

class BackendVector {
public:
    BackendVector(): vec(), is_defined(false) 	{};
    bool isdefined() const			{ return is_defined; }
    void isdefined(bool i)			{ is_defined = i; }
    void add (unsigned nr) 			{ vec.push_back(nr); }
    unsigned size() const			{ return vec.size(); }
    unsigned operator[] (unsigned index) const	{ return vec[index]; }
private:
    vector<unsigned> vec;
    bool is_defined;
};

#endif
