Implements an array of group elements with several mathematical operations depending on the group the associated to it. More...
#include <arrayofelmts.hpp>
Public Member Functions | |
ArrayOfElmts () | |
Creates an empty instance. | |
ArrayOfElmts (verifierUtils::ByteTree *bt, Group *grp) | |
Sets the content of this array. | |
verifierUtils::ByteTree * | toByteTree () |
Turns this array into a bytetree. | |
ArrayOfElmts | subArray (std::vector< bool > keepList) |
Returns an ArrayOfElmts ![]() ![]() ![]() | |
void | addElmt (Elmt e) |
Appends an element to the end of the array. | |
Elmt | getElmt (unsigned int i) |
Returns the ith element of the array. | |
unsigned int | size () |
Returns the size of this array of elements. |
Private Attributes | |
std::vector< Elmt * > | elmts |
The actual content of this array. |
Implements an array of group elements with several mathematical operations depending on the group the associated to it.
Definition at line 28 of file arrayofelmts.hpp.
ArrayOfElmts::ArrayOfElmts | ( | ) |
ArrayOfElmts::ArrayOfElmts | ( | verifierUtils::ByteTree * | bt, |
Group * | grp | ||
) |
Sets the content of this array.
bt | A Node containing bytetree representations of group elements. |
grp | The group in which the elements are. |
Definition at line 25 of file arrayofelmts.cpp.
void ArrayOfElmts::addElmt | ( | Elmt | e | ) |
Appends an element to the end of the array.
Definition at line 69 of file arrayofelmts.cpp.
Elmt ArrayOfElmts::getElmt | ( | unsigned int | i | ) |
Returns the ith element of the array.
Definition at line 76 of file arrayofelmts.cpp.
unsigned int ArrayOfElmts::size | ( | ) |
Returns the size of this array of elements.
Definition at line 83 of file arrayofelmts.cpp.
ArrayOfElmts ArrayOfElmts::subArray | ( | std::vector< bool > | keepList | ) |
Returns an ArrayOfElmts built from this instance
such that
if and only if the ith element of the keep list is set to true.
Definition at line 50 of file arrayofelmts.cpp.
verifierUtils::ByteTree * ArrayOfElmts::toByteTree | ( | ) |
Turns this array into a bytetree.
Definition at line 41 of file arrayofelmts.cpp.
|
private |
The actual content of this array.
Definition at line 34 of file arrayofelmts.hpp.