26 vec<T> result(inputs.size());
27 for (
int i = 0; i < inputs.size(); i++) {
28 result[i] = inputs[i];
43 std::vector<T> result(inputs.size());
44 for (
int i = 0; i < inputs.size(); i++) {
45 result[i] = inputs[i];
61 std::vector<T> result(size);
62 for (
int i = 0; i < size; i++) {
81 std::vector<T> result;
83 for (
int i = 0; i < inputs.size(); i++) {
84 result.insert(result.end(), inputs[i].begin(), inputs[i].end());
100 template <
typename T>
101 std::vector<T>
flattenVector(std::vector<std::vector<std::vector<T>>> inputs) {
102 std::vector<T> result;
104 for (
int i = 0; i < inputs.size(); i++) {
105 std::vector<T> nextInsert = flattenVector<T>(inputs[i]);
106 result.insert(result.end(), nextInsert.begin(), nextInsert.end());
std::vector< T > convertVecDataToVector(T *data, int size)
Converts given data and size, a Minisat::vec to a std::vector.
Definition: utils.h:60
std::string getFieldName(FieldType fieldType, int index, Data &data)
Gets the field name in the Data of a given FieldType at a given index.
Definition: utils.cpp:43
FieldType
Enum that represents all the field types.
Definition: global.h:9
std::vector< T > convertVecToVector(vec< T > inputs)
Converts a Minisat::vec to a std::vector.
Definition: utils.h:42
vec< T > convertVectorToVec(std::vector< T > inputs)
Converts a std::vector to a Minisat::vec.
Definition: utils.h:25
Class for data.
Definition: data.h:30
std::vector< T > flattenVector(std::vector< std::vector< T >> inputs)
Converts a two dimensional vector to a one dimensional vector.
Definition: utils.h:80
std::string getFieldTypeName(FieldType fieldType)
Gets the field type name as a string.
Definition: utils.cpp:16