void ITermEdgeInvariant()
{
ITermEdge <TVertex> ithis = this;
Contract.Invariant(ithis.SourceTerminal >= 0);
Contract.Invariant(ithis.TargetTerminal >= 0);
}
protected static void CheckTermEdge <T>([NotNull] ITermEdge <T> edge, [NotNull] T source, [NotNull] T target, int sourceTerm, int targetTerm)
{
CheckEdge(edge, source, target);
Assert.AreEqual(sourceTerm, edge.SourceTerminal);
Assert.AreEqual(targetTerm, edge.TargetTerminal);
}
