48 tokens.insert(tokens.end(), other.
tokens.begin(), other.
tokens.end());
64 tokens.resize(expr.size());
79 int ntsize = name_tokens.size();
81 int num_expr = tokens.size();
82 for (
int i = 0;
i < num_expr; ++
i) {
84 int jstop = token.size();
87 for (
int j = 0;
j < jstop; ++
j) {
91 const string &var = token[
j];
92 if (var !=
"*" && var != name_tokens[
j]) {
109 for (
const auto &expression: tokens) {
111 to_add.insert(to_add.end(), expression.begin(), expression.end());
112 to_return.push_back(to_add);