/** * visitNegation * * @param Negation $negation * @return void */ public function visitNegation(Negation $negation) { $negation->getSubExpression()->accept($this); }
/** * visitNegation * * @param Negation * @return void */ public function visitNegation(Negation $negation) { $this->printIndentedLine("Negation"); $this->increaseIndent(); $negation->getSubExpression()->accept($this); $this->decreaseIndent(); }