29{
33
34 std::vector<T> v0 = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 };
35 std::vector<T> v1 = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 };
36
38
39 T n = T(0);
40
41 symbol_table_t symbol_table;
42 symbol_table.add_variable("n", n);
43 symbol_table.add_vector ("v", vv);
44
45 expression_t expression;
46 expression.register_symbol_table(symbol_table);
47
48 parser_t parser;
49
50 const std::string vector_resize_expression =
51 " sum(v) == ((v[]^2 + v[]) / 2) and sum(2v) == (n^2 + n)";
52
53 if (!parser.compile(vector_resize_expression, expression))
54 {
55 printf("Error: %s\tExpression: %s\n",
56 parser.error().c_str(),
57 vector_resize_expression.c_str());
58 return;
59 }
60
61 for (std::size_t i = 1; i <= vv.
base_size(); ++i)
62 {
64 vv.
rebase(i % 2 ? v0.data() : v1.data());
65
66 n = T(i);
67
68 const T result = expression.value();
69
70 if (result != T(1))
71 {
72 printf("Error: vector size: %d\n", static_cast<unsigned int>(i));
73 }
74 }
75}
void rebase(data_ptr_t data)
std::size_t base_size() const
bool set_size(const std::size_t new_size)
vector_view< T > make_vector_view(T *data, const std::size_t size, const std::size_t offset=0)