From 21c386fee208adb7b494d2677d9f49ed49a1c1ce Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 14:20:54 +0100
Subject: Local point configuration

---
 path/point.mli | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'path/point.mli')

diff --git a/path/point.mli b/path/point.mli
index fab42d2..fe4cb45 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -1,5 +1,9 @@
 type t
 
+(** Return the point id. Each id is unique *)
+val id 
+  : t -> int
+
 val empty : t
 
 val (+): t -> Gg.v2 -> t
@@ -10,6 +14,12 @@ val get_stamp : t -> float
 
 val create: angle:float -> width:float -> stamp:float -> x:float -> y:float -> t
 
+(** Return a copy of the point at given posistion 
+
+    This is a true copy, the id will be the same for the two points
+    TODO : Should this be renamed set_position ?
+
+*)
 val copy : t -> Gg.v2 -> t
 
 val set_angle : t -> float -> t
@@ -27,3 +37,4 @@ val get_coord'
     characteristics from p0 and p1 *)
 val mix
   : float -> Gg.v2 -> t -> t -> t
+
-- 
cgit v1.2.3