package geoml

  1. Overview
  2. Docs

Strict and large linear constraints mmanipulation

type comp =
  1. | Lt
  2. | Gt
  3. | Leq
  4. | Geq
val neg : comp -> comp
type t = private Line.t * comp
val make : Line.t -> comp -> t
val get_comp : t -> comp
val get_border : t -> Line.t
val contains : t -> Point.t -> bool

contains c p returns true if the point p is in the half-space defined by c

val complementary : t -> t

returns the complementary constraint of a constraint

val translate : float -> float -> t -> t
val intersects : t -> t -> bool
val print : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.