function to_string($idt = '', $name = __CLASS__) { return parent::to_string($idt, $name . ' ' . $this->operator); }
function to_string($idt = '', $name = __CLASS__) { return parent::to_string($idt, $name . ($this->negated ? '!' : '')); }