_name = "Variable[" . $name . "]"; $this->_prior = $prior; $this->resetToPrior(); } public function &getValue() { $value = &$this->_value; return $value; } public function setValue(&$value) { $this->_value = &$value; } public function resetToPrior() { $this->_value = $this->_prior; } public function __toString() { return $this->_name; } }