Exemplos de ReckiCT\Graph Helper::isPhiVar em PHP

Exemplo n.º 1

Arquivo: HelperTest.php Projeto: bwoebi/recki-ct

 /**
  * @covers ::isPhiVar
  */
 public function testisPhiVarNonValue()
 {
     $this->graph->ensureArc($this->v[5], $p = new Phi(new Variable()));
     $p->addValue(new Variable());
     $this->assertFalse(Helper::isPhiVar(new Variable(), $this->graph));
 }