3 template <typename Type> struct data_root : public tagged<Type> {
7 parent->data_roots.push_back(&this->value_);
10 data_root(cell value, factor_vm* parent)
11 : tagged<Type>(value), parent(parent) {
15 data_root(Type* value, factor_vm* parent)
16 : tagged<Type>(value), parent(parent) {
22 parent->data_roots.pop_back();
25 friend void swap(data_root<Type>& a, data_root<Type>& b) {