PHP Term::addVariable Examples

Example #1

File: reasoner.php Project: 318io/318-io

 public function getClone()
 {
     $nobj = new Term($this->name, array());
     foreach ($this->variables as $var) {
         $n_var = $var->getClone();
         $nobj->addVariable($n_var);
     }
     return $nobj;
 }