/**
* 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();
}