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