+ $flags_old = $this->flags;
+ $this->flags = (($flags_old & (~$mask)) | ($flags & $mask));
+
+ return ($flags_old != $this->flags);
+ }
+
+ function flags_vlt_set($flags_vlt, $mask)
+ {
+ $flags_vlt_old = $this->flags_vlt;
+ $this->flags_vlt = (($flags_vlt_old & (~$mask)) | ($flags_vlt & $mask));
+
+ return ($flags_vlt_old != $this->flags_vlt);