Module Skel (.ml)


module Skel: sig .. end
Skeletons and other basic types.
Author(s): David Baelde, Samuel Mimram

type point = float * float * float 

Convention for matrixes: m.(x).(y).
type 'a matrix = 'a array array 

A skel is the matrix of connexions. false means not connected.
type skel = bool matrix 
type position = point array 
val one_of_three : ('a * 'a * 'a) option array -> 'a option array
Conversion from a rough constraint to a precise one.
module Constraints: sig .. end
A Constraints.t is a partial movement.

High-level skeleton type, where nodes are labelled. Not used.
module Skeleton: sig .. end