1
#ifndef _BACKENDVECTOR_
2
#define _BACKENDVECTOR_
6
BackendVector(): vec(), is_defined(false) {};
7
bool isdefined() const { return is_defined; }
8
void isdefined(bool i) { is_defined = i; }
9
void add (unsigned nr) { vec.push_back(nr); }
10
unsigned size() const { return vec.size(); }
11
unsigned operator[] (unsigned index) const { return vec[index]; }