Predicates for line transversals to lines and line segments in three-dimensional space.