Commits

bergsoe committed a5d8cc3

LICENSE specification.

Comments (0)

Files changed (69)

+Copyright (c) 2012, Anders Lau Olsen
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+  * Redistributions of source code must retain the above copyright
+    notice, this list of conditions and the following disclaimer.
+
+  * Redistributions in binary form must reproduce the above copyright
+    notice, this list of conditions and the following disclaimer in
+    the documentation and/or other materials provided with the
+    distribution.
+
+  * Neither the name of Anders Lau Olsen nor the names of the
+    contributors may be used to endorse or promote products derived
+    from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module Constraint = PaplConstraint
 module DLTree = PaplDLTree

src/PaplConstraint.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a t = 'a -> bool
 

src/PaplConstraint.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Constraints on values
 
     A constraint is effectively a boolean function that either {i accepts} or {i
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module A = BatDynArray
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Double linked trees
 
     A node in double linked tree has a pointer to its parent and each of its

src/PaplDLTreePlanner.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module Tree = PaplDLTree
 module IC = PaplIncrConstraint

src/PaplDLTreePlanner.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Path planning using double linked trees
 *)
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a t = 'a * 'a
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Edges
 
    An edge is a tuple [(a, b)] that represents a motion from a start point [a]

src/PaplEdgeConstraint.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 open BatStd
 

src/PaplEdgeConstraint.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (**
    Edge constraints
 

src/PaplIncrConstraint.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type t = {
   reject : unit -> bool option;

src/PaplIncrConstraint.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (**
    Incremental constraints
 

src/PaplIncrEdgeConstraint.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a create_t = 'a PaplEdge.t PaplIncrConstraint.create_t
 

src/PaplIncrEdgeConstraint.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Incremental edge constraints
 
     An incremental edge constraints is an incremental constraint (see
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module type BASE = sig
   type value_t
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Index modules
 *)
 

src/PaplInterpolate.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a t = 'a -> 'a -> float -> 'a
 

src/PaplInterpolate.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (**
    Planning spaces
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 (* A printf with flush.
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a pair_t = 'a * 'a
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Distance measures
 
    A metric is a function that measures the distance between a pair of values.
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type 'a pair_t = 'a * 'a
 
 let interpolate ip = PaplInterpolate.Tuple2.interpolate ip ip
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (**
    Pair configurations
 *)
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type 'a t = 'a list
 
 let fold_adjacent f xs acc =
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Paths
 
     A path is a list of configurations.
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a pair_t = 'a * 'a
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 (** Motion planners *)
 

src/PaplPlannerConstraint.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a t = 'a PaplConstraint.t * 'a PaplEdgeConstraint.t
 

src/PaplPlannerConstraint.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Path planner constraints
 
    A path planner constraint is a tuple [(q_constr, q_edge_constr)] containing a
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 (* module Sampler = PaplSampler *)
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Vector configurations
 
 A configuration of type [PaplQ.t = float BatArray.t] is an array of floats.
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type 'a pair_t = 'a * 'a
 
 type t = PaplQ.t PaplTime.t
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 (** Time vector configurations *)
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module Tree = PaplTree
 module TP = PaplTreePlanner
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** RRT planners *)
 
 type callback_t = unit -> unit
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type rng_t = BatRandom.State.t option
 
 module Helper = struct
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type rng_t = BatRandom.State.t option
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** SBL planners *)
 
 type 'a pair_t = 'a * 'a
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** SBL planners *)
 
 type kind_t =

src/PaplSBLExpandSampler.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type rng_t = PaplRandom.rng_t
 
 let random_range ?rng =

src/PaplSBLExpandSampler.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** SBL expansion samplers
 
     This module constructs samplers that return configurations within the
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type rng_t = PaplRandom.rng_t
 
 type 'a pair_t = 'a * 'a
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Sampling of values
 
     A sampler is a stream of values of some type. Samplers are imperative data

src/PaplSpatialGroup.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module type S = sig
   type t

src/PaplSpatialGroup.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 (** Transformations *)
 

src/PaplStopCriteria.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 exception Cannot_restart
 

src/PaplStopCriteria.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (**
    Stopping criteria for long computations
 

src/PaplStraightPlanner.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 let re = PaplConstraint.reject
 

src/PaplStraightPlanner.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Straight connection planners
 
     A straight connection planners attempts to directly connect a start and goal

src/PaplSubdivision.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 let standard level =
   let level' = float_of_int level in

src/PaplSubdivision.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Subdivision of a 1D range
 
     The module constructs sequences of values that are used in the incremental
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type 'a pair_t = 'a * 'a
 type rng_t = PaplRandom.rng_t
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (**
    Time configurations
 *)

src/PaplTrajectory.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a t = {
   t0 : float;

src/PaplTrajectory.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Trajectories
 *)
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 (* ---------------------------------------------------------------------- *)
 

src/PaplTransform.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Rigid body transformations
 *)
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 type 'a node = {
   value : 'a;
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Single linked trees
 
     A node in a single linked tree has a pointer only to its parent.
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 
 module type BASE = sig
   type t

src/PaplTreeIndex.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Index modules for tree nodes
 *)
 

src/PaplTreePlanner.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 module Tree = PaplTree
 
 module type SETUP = sig

src/PaplTreePlanner.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Path planning using single linked trees
 *)
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type rng_t = PaplRandom.rng_t
 type 'a pair_t = 'a * 'a
 
+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Vectors
 *)
 

src/PaplVectorMetric.ml

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 type 'a pair_t = 'a * 'a
 
 module type S = sig

src/PaplVectorMetric.mli

+(*
+  Copyright (c) 2012 Anders Lau Olsen.
+  See LICENSE file for terms and conditions.
+*)
 (** Metrics for vectors
 *)