big update
Annotate for file package.lisp
2006-12-07 kilian.sprot 1 ;;; -*- Mode: LISP; Syntax: COMMON-LISP; Base: 10 -*-
21:06:18 ' 2 ;;; arch-tag: 69AB34D5-8516-DBE0-76B43C49CD70
' 3
' 4 ;;; Copyright (c) 2006, Kilian Sprotte. All rights reserved.
' 5
' 6 ;;; Redistribution and use in source and binary forms, with or without
' 7 ;;; modification, are permitted provided that the following conditions
' 8 ;;; are met:
' 9
' 10 ;;; * Redistributions of source code must retain the above copyright
' 11 ;;; notice, this list of conditions and the following disclaimer.
' 12
' 13 ;;; * Redistributions in binary form must reproduce the above
' 14 ;;; copyright notice, this list of conditions and the following
' 15 ;;; disclaimer in the documentation and/or other materials
' 16 ;;; provided with the distribution.
' 17
' 18 ;;; THIS SOFTWARE IS PROVIDED BY THE AUTHOR 'AS IS' AND ANY EXPRESSED
' 19 ;;; OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
' 20 ;;; WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
' 21 ;;; ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
' 22 ;;; DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
' 23 ;;; DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
' 24 ;;; GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
' 25 ;;; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
' 26 ;;; WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
' 27 ;;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
' 28 ;;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
' 29
' 30 (in-package :cl-user)
' 31
' 32 (defpackage :gecol
2007-01-08 kilian.sprot 33 (:documentation "Provides bindings to GECODE.")
2006-12-21 kilian.sprot 34 (:use :cl :iterate :cffi)
2006-12-07 kilian.sprot 35 (:export
2007-01-08 kilian.sprot 36 #:make-gecolspace
01:49:57 ' 37 #:make-dfs-space-int-int-stop
' 38 #:make-bab-space-int-int-stop
' 39 ;; Ints
2006-12-07 kilian.sprot 40 #:gec-minus
2006-12-21 kilian.sprot 41 ;; Sets
15:40:43 ' 42 #:gec-fs-make-const
' 43 #:gec-fs-make-bounds
' 44 #:gec-fs-make-lower-bound
' 45 #:gec-fs-make-upper-bound
' 46 #:gec-fs-glb-size
' 47 #:gec-fs-lub-size
' 48 #:gec-fs-unknown-size
' 49 #:gec-fs-card-min
' 50 #:gec-fs-card-max
' 51 #:gec-fs-lub-min
' 52 #:gec-fs-lub-max
' 53 #:gec-fs-glb-min
' 54 #:gec-fs-glb-max
' 55 #:gec-fs-contains
' 56 #:gec-fs-not-contains
' 57 #:gec-fs-assigned
2007-02-06 kilian.sprot 58 ;;; Sets - lisp extensions
2006-12-21 kilian.sprot 59 #:gec-fs-enumerate-lower-bound
15:40:43 ' 60 #:gec-fs-enumerate-upper-bound
' 61 #:gec-fs-value
2007-02-06 kilian.sprot 62 ;;; utils
2006-12-21 kilian.sprot 63 #:with-list-as-int-array
2006-12-07 kilian.sprot 64 ))
2007-02-06 kilian.sprot 65