aboutsummaryrefslogtreecommitdiff
path: root/path/point.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-07 14:20:54 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-07 14:20:54 +0100
commit21c386fee208adb7b494d2677d9f49ed49a1c1ce (patch)
treeb1c77a0c1870768a4876ec58cc06962768a3fe75 /path/point.mli
parent06c39bbea3b7f8e6bfec88878ec80f9cc474184f (diff)
Local point configuration
Diffstat (limited to 'path/point.mli')
-rwxr-xr-xpath/point.mli11
1 files changed, 11 insertions, 0 deletions
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
+