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) {
21 const data_root<Type>& operator=(const Type* x) {
22 tagged<Type>::operator=(x);
25 const data_root<Type>& operator=(const cell& x) {
26 tagged<Type>::operator=(x);
31 parent->data_roots.pop_back();
34 friend void swap(data_root<Type>& a, data_root<Type>& b) {