Example #1
0
 /**
  * @depends testDominator
  * @covers ::strictlyDominates
  */
 public function testStrictlyDominates()
 {
     $dominator = new Dominator($this->graph, $this->func);
     $this->assertFalse($dominator->strictlyDominates($this->v[0], $this->v[0]));
     $this->assertTrue($dominator->strictlyDominates($this->v[1], $this->v[0]));
     $this->assertTrue($dominator->strictlyDominates($this->v[4], $this->v[1]));
 }