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