public function testPrecondition() { $this->assertCount(1, $this->graph->getVertices()); $this->assertTrue($this->graph->hasVertex(1)); $this->assertFalse($this->graph->hasVertex(2)); $this->assertSame($this->vertex, $this->graph->getVertex(1)); }