Assertion list for term "directed line segment".

Results from Ascent++: 1
vector IsAdirected line segment 0.41