diff options
Diffstat (limited to 'path/point.mli')
| -rwxr-xr-x | path/point.mli | 11 |
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 + |