Classes which implement topological predicates optimized for particular kinds of geometries.