bool IMutableVertexSet<TVertex>.RemoveVertex(TVertex v)
{
IMutableVertexSet<TVertex> ithis = this;
Contract.Requires(v != null);
Contract.Ensures(Contract.Result<bool>() == Contract.OldValue(ithis.ContainsVertex(v)));
Contract.Ensures(!ithis.ContainsVertex(v));
Contract.Ensures(ithis.VertexCount == Contract.OldValue(ithis.VertexCount) - (Contract.Result<bool>() ? 1 : 0));
return default(bool);
}
int IMutableVertexSet<TVertex>.AddVertexRange(IEnumerable<TVertex> vertices)
{
IMutableVertexSet<TVertex> ithis = this;
Contract.Requires(vertices != null);
Contract.Requires(Enumerable.All(vertices, v => v != null));
Contract.Ensures(Enumerable.All(vertices, v => ithis.ContainsVertex(v)));
Contract.Ensures(ithis.VertexCount == Contract.OldValue(ithis.VertexCount) + Contract.Result<int>());
return default(int);
}
protected static void ContainsVertex_EquatableVertex_Test(
IMutableVertexSet <EquatableTestVertex> graph)
{
var vertex1 = new EquatableTestVertex("1");
var vertex2 = new EquatableTestVertex("2");
var otherVertex1 = new EquatableTestVertex("1");
Assert.IsFalse(graph.ContainsVertex(vertex1));
Assert.IsFalse(graph.ContainsVertex(vertex2));
Assert.IsFalse(graph.ContainsVertex(otherVertex1));
graph.AddVertex(vertex1);
Assert.IsTrue(graph.ContainsVertex(vertex1));
Assert.IsTrue(graph.ContainsVertex(otherVertex1));
graph.AddVertex(vertex2);
Assert.IsTrue(graph.ContainsVertex(vertex2));
graph.AddVertex(otherVertex1);
Assert.IsTrue(graph.ContainsVertex(vertex1));
Assert.IsTrue(graph.ContainsVertex(otherVertex1));
}