Commits

bergsoe  committed 93d623c

API doc.

  • Participants
  • Parent commits fd2ca35

Comments (0)

Files changed (1)

File src/PaplIncrEdgeConstraint.mli

   'a create_t
 (** Edge verification by repeated subdivision of edges.
 
-    The constraint [subdivide constr interpolate (metric, eps) edge] repeatedly
-    splits an edge into subsegments (using [interpolate]) until every segment
-    has a length shorter than [eps] when measured by [metric]. The constraint
-    splits every segment at its center and checks the centers by [constr].
+    The constraint [constrain_by_subdivision constr interpolate (metric, eps)
+    edge] repeatedly splits an edge into subsegments (using [interpolate]) until
+    every segment has a length shorter than [eps] when measured by [metric]. The
+    constraint splits every segment at its center and checks the centers by
+    [constr].
 
     The constraint assumes that [interpolate] splits a segment into subsegments
     of equal length. In other words, if [b = interpolate a c 0.5] then [metric a