arrayofelmts.hpp

Go to the documentation of this file.

#ifndef _ARRAYOFELMTS_H_
#define _ARRAYOFELMTS_H_


namespace arithm {

// forward declarations
class Elmt;
class Group;


class ArrayOfElmts
{
private:        
        std::vector<Elmt*> elmts;
        
public:
        ArrayOfElmts();

        ArrayOfElmts(verifierUtils::ByteTree * bt, Group * grp);

        verifierUtils::ByteTree * toByteTree();

        ArrayOfElmts subArray(std::vector<bool> keepList);
        
        void addElmt(Elmt e);

        Elmt getElmt(unsigned int i);

        unsigned int size();
};

} // closing namespace

#endif