big update
Annotate for file ffi.lisp
2007-01-08 kilian.sprot 1
2006-12-07 kilian.sprot 2 ;;; -*- Mode: LISP; Syntax: COMMON-LISP; Package: GECOL; Base: 10 -*-
21:06:18 ' 3 ;;; arch-tag: 09C25807-504D-487A-B9D3-275276CF17B1
' 4
' 5 ;;; Copyright (c) 2006, Kilian Sprotte. All rights reserved.
' 6
' 7 ;;; Redistribution and use in source and binary forms, with or without
' 8 ;;; modification, are permitted provided that the following conditions
' 9 ;;; are met:
' 10
' 11 ;;; * Redistributions of source code must retain the above copyright
' 12 ;;; notice, this list of conditions and the following disclaimer.
' 13
' 14 ;;; * Redistributions in binary form must reproduce the above
' 15 ;;; copyright notice, this list of conditions and the following
' 16 ;;; disclaimer in the documentation and/or other materials
' 17 ;;; provided with the distribution.
' 18
' 19 ;;; THIS SOFTWARE IS PROVIDED BY THE AUTHOR 'AS IS' AND ANY EXPRESSED
' 20 ;;; OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
' 21 ;;; WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
' 22 ;;; ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
' 23 ;;; DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
' 24 ;;; DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
' 25 ;;; GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
' 26 ;;; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
' 27 ;;; WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
' 28 ;;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
' 29 ;;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
' 30
' 31 (in-package :gecol)
' 32
2007-01-08 kilian.sprot 33 (defmacro defcfun* (name &rest args)
01:49:57 ' 34 `(progn
' 35 (export ',(if (listp name) (second name) name))
' 36 (defcfun ,name ,@args)))
' 37
2006-12-07 kilian.sprot 38 (defcenum int-rel-type
2007-02-06 kilian.sprot 39 :irt-= ; =
19:09:14 ' 40 :irt-/= ; /=
' 41 :irt-<= ; <=
' 42 :irt-< ; <
' 43 :irt->= ; >=
' 44 :irt-> ; >
2006-12-07 kilian.sprot 45 )
21:06:18 ' 46
' 47 (defcenum int-con-level
2007-02-06 kilian.sprot 48 :icl-val ; Value consistency (naive)
19:09:14 ' 49 :icl-bnd ; Bounds consistency.
' 50 :icl-dom ; Domain consistency.
' 51 :icl-def ;The default consistency for a constraint.
2006-12-07 kilian.sprot 52 )
21:06:18 ' 53
2006-12-21 kilian.sprot 54 (defcenum set-rel-type
2007-02-06 kilian.sprot 55 :srt-eq ; equality
19:09:14 ' 56 :srt-nq ; disequality
' 57 :srt-sub ; subset
' 58 :srt-sup ; superset
' 59 :srt-disj ; disjoint
' 60 :srt-cmpl ; complement
2006-12-21 kilian.sprot 61 )
15:40:43 ' 62
' 63 (defcenum set-op-type
2007-02-06 kilian.sprot 64 :sot-union ; union
19:09:14 ' 65 :sot-dunion ; disjoint union
' 66 :sot-inter ; intersection
' 67 :sot-minus ; difference
2006-12-21 kilian.sprot 68 )
15:40:43 ' 69
2007-01-08 kilian.sprot 70 (defcenum bvar-sel
01:49:57 ' 71 :bvar-none
' 72 :bvar-min-min
' 73 :bvar-min-max
' 74 :bvar-max-min
' 75 :bvar-max-max
' 76 :bvar-size-min
' 77 :bvar-size-max
' 78 :bvar-degree-min
' 79 :bvar-degree-max
' 80 :bvar-regret-min-min
' 81 :bvar-regret-min-max
' 82 :bvar-regret-max-min
' 83 :bvar-regret-max-max
' 84 )
2006-12-07 kilian.sprot 85
2007-01-08 kilian.sprot 86 (defcenum bval-sel
01:49:57 ' 87 :bval-min
' 88 :bval-med
' 89 :bval-max
' 90 :bval-split-min
' 91 :bval-split-max
' 92 )
2006-12-07 kilian.sprot 93
2007-01-08 kilian.sprot 94 ;; IntSet
01:49:57 ' 95 (defcfun* ("make_IntSet_int_int" make-intset-int-int) :pointer
2006-12-07 kilian.sprot 96 (n :int)
2007-01-08 kilian.sprot 97 (m :int))
2006-12-07 kilian.sprot 98
2007-01-08 kilian.sprot 99 (defcfun* ("make_IntSet_intarray_int" make-intset-intarray-int) :pointer
01:49:57 ' 100 (r :pointer)
' 101 (n :int))
2006-12-07 kilian.sprot 102
2007-01-08 kilian.sprot 103 (defcfun* ("IntSet_size" intset-size) :int
01:49:57 ' 104 (intset :pointer))
2006-12-07 kilian.sprot 105
2007-01-08 kilian.sprot 106 (defcfun* ("IntSet_min_int" intset-min-int) :int
01:49:57 ' 107 (intset :pointer)
' 108 (i :int))
2006-12-07 kilian.sprot 109
2007-01-08 kilian.sprot 110 (defcfun* ("IntSet_max_int" intset-max-int) :int
01:49:57 ' 111 (intset :pointer)
' 112 (i :int))
2006-12-07 kilian.sprot 113
2007-01-08 kilian.sprot 114 (defcfun* ("IntSet_width_int" intset-width-int) :unsigned-int
01:49:57 ' 115 (intset :pointer)
' 116 (i :int))
2006-12-07 kilian.sprot 117
2007-01-08 kilian.sprot 118 (defcfun* ("IntSet_min" intset-min) :int
01:49:57 ' 119 (intset :pointer))
2006-12-07 kilian.sprot 120
2007-01-08 kilian.sprot 121 (defcfun* ("IntSet_max" intset-max) :int
01:49:57 ' 122 (intset :pointer))
2006-12-07 kilian.sprot 123
2007-01-08 kilian.sprot 124 (defcfun* ("delete_IntSet" delete-intset) :void
01:49:57 ' 125 (intset :pointer))
2006-12-07 kilian.sprot 126
2007-01-08 kilian.sprot 127 ;; IntVar
01:49:57 ' 128 (defcfun* ("make_IntVar_Space_int_int" make-intvar-space-int-int) :pointer
2006-12-07 kilian.sprot 129 (space :pointer)
2007-01-08 kilian.sprot 130 (min :int)
01:49:57 ' 131 (max :int))
' 132 (defcfun* ("IntVar_assigned" intvar-assigned) :boolean
' 133 (intvar :pointer))
' 134 (defcfun* ("IntVar_val" intvar-val) :int
' 135 (intvar :pointer))
' 136 (defcfun* ("delete_IntVar" delete-intvar) :void
' 137 (intvar :pointer))
2006-12-07 kilian.sprot 138
2007-01-08 kilian.sprot 139 ;; Space
01:49:57 ' 140 (defcfun ("make_GecolSpace" %make-gecolspace) :pointer
' 141 (intnum :int)
' 142 (intmin :int)
' 143 (intmax :int)
' 144 (boolnum :int)
' 145 (setnum :int)
' 146 (bab-intvar-ind :int)
' 147 (bab-intreltype int-rel-type))
2006-12-07 kilian.sprot 148
2007-01-08 kilian.sprot 149 (defcfun* ("delete_GecolSpace" delete-gecolspace) :void
01:49:57 ' 150 (gecolspace :pointer))
2006-12-07 kilian.sprot 151
2007-01-08 kilian.sprot 152 (defcfun* ("GecolSpace_getInt_int" gecolspace-getint-int) :pointer
2006-12-07 kilian.sprot 153 (space :pointer)
2007-01-08 kilian.sprot 154 (ind :int))
2006-12-07 kilian.sprot 155
2007-01-08 kilian.sprot 156 (defcfun* ("GecolSpace_getBool_int" gecolspace-getbool-int) :pointer
2006-12-07 kilian.sprot 157 (space :pointer)
2007-01-08 kilian.sprot 158 (ind :int))
2006-12-07 kilian.sprot 159
2007-01-08 kilian.sprot 160 (defcfun* ("GecolSpace_getSet_int" gecolspace-getset-int) :pointer
01:49:57 ' 161 "Access SetVar at IND in SPACE."
2006-12-07 kilian.sprot 162 (space :pointer)
2007-01-08 kilian.sprot 163 (ind :int))
2006-12-07 kilian.sprot 164
2007-01-08 kilian.sprot 165 (defcfun* ("GecolSpace_putSet_int_SetVar" gecolspace-putset-int-setvar) :void
01:49:57 ' 166 "Place the SetVar SET into SPACE.
' 167 After SPACE has been constructed with only the number of
' 168 SetVars given, this needs to be done for each one.
2006-12-07 kilian.sprot 169
2007-01-08 kilian.sprot 170 This allows for different initializations of each
01:49:57 ' 171 SetVar by using GEC-FS-MAKE-*."
2006-12-07 kilian.sprot 172 (space :pointer)
2007-01-08 kilian.sprot 173 (ind :int)
01:49:57 ' 174 (set :pointer))
2006-12-07 kilian.sprot 175
2007-01-08 kilian.sprot 176 ;;; DFS
01:49:57 ' 177 (defcfun ("make_DFS_Space_int_int_Stop" %make-dfs-space-int-int-stop) :pointer
2006-12-07 kilian.sprot 178 (space :pointer)
2007-01-08 kilian.sprot 179 (c-d :int)
01:49:57 ' 180 (a-d :int)
' 181 (st :pointer))
2006-12-07 kilian.sprot 182
2007-01-08 kilian.sprot 183 (defcfun* ("delete_DFS" delete-dfs) :void
01:49:57 ' 184 (dfs :pointer))
2006-12-07 kilian.sprot 185
2007-01-08 kilian.sprot 186 (defcfun* ("DFS_next" dfs-next) :pointer
01:49:57 ' 187 (dfs :pointer))
2006-12-07 kilian.sprot 188
2007-01-08 kilian.sprot 189 ;;; BAB
01:49:57 ' 190 (defcfun ("make_BAB_Space_int_int_Stop" %make-bab-space-int-int-stop) :pointer
2006-12-07 kilian.sprot 191 (space :pointer)
2007-01-08 kilian.sprot 192 (c-d :int)
01:49:57 ' 193 (a-d :int)
' 194 (st :pointer))
2006-12-07 kilian.sprot 195
2007-01-08 kilian.sprot 196 (defcfun* ("delete_BAB" delete-bab) :void
01:49:57 ' 197 (bab :pointer))
2006-12-07 kilian.sprot 198
2007-01-08 kilian.sprot 199 (defcfun* ("BAB_next" bab-next) :pointer
01:49:57 ' 200 (bab :pointer))
2006-12-07 kilian.sprot 201
2007-01-08 kilian.sprot 202 ;;;;;;;;;
2006-12-07 kilian.sprot 203
2007-01-08 kilian.sprot 204 (defcfun*
01:49:57 ' 205 ("branch_intvarargs_bvarsel_bvalsel" branch-intvarargs-bvarsel-bvalsel) :void
' 206 (home :pointer) (x :pointer) (vars bvar-sel) (vals bval-sel))
' 207 (defcfun*
' 208 ("linear_intvarargs_intreltype_int_intconlevel"
' 209 linear-intvarargs-intreltype-int-intconlevel)
' 210 :void (home :pointer) (x :pointer) (r int-rel-type) (c :int)
' 211 (icl int-con-level))
' 212 (defcfun*
' 213 ("linear_intvarargs_intreltype_intvar_intconlevel"
' 214 linear-intvarargs-intreltype-intvar-intconlevel)
' 215 :void (home :pointer) (x :pointer) (r int-rel-type) (y :pointer)
' 216 (icl int-con-level))
' 217 (defcfun*
' 218 ("linear_intvarargs_intreltype_int_boolvar_intconlevel"
' 219 linear-intvarargs-intreltype-int-boolvar-intconlevel)
' 220 :void (home :pointer) (x :pointer) (r int-rel-type) (c :int) (b :pointer)
' 221 (icl int-con-level))
' 222 (defcfun*
' 223 ("linear_intvarargs_intreltype_intvar_boolvar_intconlevel"
' 224 linear-intvarargs-intreltype-intvar-boolvar-intconlevel)
' 225 :void (home :pointer) (x :pointer) (r int-rel-type) (y :pointer) (b :pointer)
' 226 (icl int-con-level))
' 227 (defcfun*
' 228 ("linear_intargs_intvarargs_intreltype_int_intconlevel"
' 229 linear-intargs-intvarargs-intreltype-int-intconlevel)
' 230 :void (home :pointer) (a :pointer) (x :pointer) (r int-rel-type) (c :int)
' 231 (icl int-con-level))
' 232 (defcfun*
' 233 ("linear_intargs_intvarargs_intreltype_intvar_intconlevel"
' 234 linear-intargs-intvarargs-intreltype-intvar-intconlevel)
' 235 :void (home :pointer) (a :pointer) (x :pointer) (r int-rel-type) (y :pointer)
' 236 (icl int-con-level))
' 237 (defcfun*
' 238 ("linear_intargs_intvarargs_intreltype_int_boolvar_intconlevel"
' 239 linear-intargs-intvarargs-intreltype-int-boolvar-intconlevel)
' 240 :void (home :pointer) (a :pointer) (x :pointer) (r int-rel-type) (c :int)
' 241 (b :pointer) (icl int-con-level))
' 242 (defcfun*
' 243 ("linear_intargs_intvarargs_intreltype_intvar_boolvar_intconlevel"
' 244 linear-intargs-intvarargs-intreltype-intvar-boolvar-intconlevel)
' 245 :void (home :pointer) (a :pointer) (x :pointer) (r int-rel-type) (y :pointer)
' 246 (b :pointer) (icl int-con-level))
' 247 (defcfun*
' 248 ("linear_boolvarargs_intreltype_int_intconlevel"
' 249 linear-boolvarargs-intreltype-int-intconlevel)
' 250 :void (home :pointer) (x :pointer) (r int-rel-type) (c :int)
' 251 (icl int-con-level))
' 252 (defcfun*
' 253 ("linear_boolvarargs_intreltype_intvar_intconlevel"
' 254 linear-boolvarargs-intreltype-intvar-intconlevel)
' 255 :void (home :pointer) (x :pointer) (r int-rel-type) (y :pointer)
' 256 (icl int-con-level))
' 257 (defcfun*
' 258 ("cumulatives_intvarargs_intvarargs_intvarargs_intvarargs_intvarargs_intargs_bool_intconlevel"
' 259 cumulatives-intvarargs-intvarargs-intvarargs-intvarargs-intvarargs-intargs-bool-intconlevel)
' 260 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 261 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 262 (icl int-con-level))
' 263 (defcfun*
' 264 ("cumulatives_intargs_intvarargs_intvarargs_intvarargs_intvarargs_intargs_bool_intconlevel"
' 265 cumulatives-intargs-intvarargs-intvarargs-intvarargs-intvarargs-intargs-bool-intconlevel)
' 266 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 267 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 268 (icl int-con-level))
' 269 (defcfun*
' 270 ("cumulatives_intvarargs_intvarargs_intargs_intvarargs_intvarargs_intargs_bool_intconlevel"
' 271 cumulatives-intvarargs-intvarargs-intargs-intvarargs-intvarargs-intargs-bool-intconlevel)
' 272 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 273 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 274 (icl int-con-level))
' 275 (defcfun*
' 276 ("cumulatives_intargs_intvarargs_intargs_intvarargs_intvarargs_intargs_bool_intconlevel"
' 277 cumulatives-intargs-intvarargs-intargs-intvarargs-intvarargs-intargs-bool-intconlevel)
' 278 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 279 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 280 (icl int-con-level))
' 281 (defcfun*
' 282 ("cumulatives_intvarargs_intvarargs_intvarargs_intvarargs_intargs_intargs_bool_intconlevel"
' 283 cumulatives-intvarargs-intvarargs-intvarargs-intvarargs-intargs-intargs-bool-intconlevel)
' 284 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 285 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 286 (icl int-con-level))
' 287 (defcfun*
' 288 ("cumulatives_intargs_intvarargs_intvarargs_intvarargs_intargs_intargs_bool_intconlevel"
' 289 cumulatives-intargs-intvarargs-intvarargs-intvarargs-intargs-intargs-bool-intconlevel)
' 290 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 291 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 292 (icl int-con-level))
' 293 (defcfun*
' 294 ("cumulatives_intvarargs_intvarargs_intargs_intvarargs_intargs_intargs_bool_intconlevel"
' 295 cumulatives-intvarargs-intvarargs-intargs-intvarargs-intargs-intargs-bool-intconlevel)
' 296 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 297 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 298 (icl int-con-level))
' 299 (defcfun*
' 300 ("cumulatives_intargs_intvarargs_intargs_intvarargs_intargs_intargs_bool_intconlevel"
' 301 cumulatives-intargs-intvarargs-intargs-intvarargs-intargs-intargs-bool-intconlevel)
' 302 :void (home :pointer) (machine :pointer) (start :pointer) (duration :pointer)
' 303 (end :pointer) (height :pointer) (limit :pointer) (at_most :boolean)
' 304 (icl int-con-level))
' 305 (defcfun* ("eq_intvar_intvar_intconlevel" eq-intvar-intvar-intconlevel) :void
' 306 (home :pointer) (x0 :pointer) (x1 :pointer) (icl int-con-level))
' 307 (defcfun* ("eq_intvar_int_intconlevel" eq-intvar-int-intconlevel) :void
' 308 (home :pointer) (x :pointer) (n :int) (icl int-con-level))
' 309 (defcfun*
' 310 ("eq_intvar_intvar_boolvar_intconlevel" eq-intvar-intvar-boolvar-intconlevel)
' 311 :void (home :pointer) (x0 :pointer) (x1 :pointer) (b :pointer)
' 312 (icl int-con-level))
' 313 (defcfun*
' 314 ("eq_intvar_int_boolvar_intconlevel" eq-intvar-int-boolvar-intconlevel) :void
' 315 (home :pointer) (x :pointer) (n :int) (b :pointer) (icl int-con-level))
' 316 (defcfun* ("eq_intvarargs_intconlevel" eq-intvarargs-intconlevel) :void
' 317 (home :pointer) (x :pointer) (icl int-con-level))
' 318 (defcfun*
' 319 ("count_intvarargs_int_intreltype_int_intconlevel"
' 320 count-intvarargs-int-intreltype-int-intconlevel)
' 321 :void (home :pointer) (x :pointer) (n :int) (r int-rel-type) (m :int)
' 322 (icl int-con-level))
' 323 (defcfun*
' 324 ("count_intvarargs_intvar_intreltype_int_intconlevel"
' 325 count-intvarargs-intvar-intreltype-int-intconlevel)
' 326 :void (home :pointer) (x :pointer) (y :pointer) (r int-rel-type) (m :int)
' 327 (icl int-con-level))
' 328 (defcfun*
' 329 ("count_intvarargs_int_intreltype_intvar_intconlevel"
' 330 count-intvarargs-int-intreltype-intvar-intconlevel)
' 331 :void (home :pointer) (x :pointer) (n :int) (r int-rel-type) (z :pointer)
' 332 (icl int-con-level))
' 333 (defcfun*
' 334 ("count_intvarargs_intvar_intreltype_intvar_intconlevel"
' 335 count-intvarargs-intvar-intreltype-intvar-intconlevel)
' 336 :void (home :pointer) (x :pointer) (y :pointer) (r int-rel-type) (z :pointer)
' 337 (icl int-con-level))
' 338 (defcfun*
' 339 ("gcc_intvarargs_intargs_int_int_int_int_int_intconlevel"
' 340 gcc-intvarargs-intargs-int-int-int-int-int-intconlevel)
' 341 :void (home :pointer) (x :pointer) (c :pointer) (m :int) (unspec_low :int)
' 342 (unspec_up :int) (min :int) (max :int) (icl int-con-level))
' 343 (defcfun*
' 344 ("gcc_intvarargs_intargs_int_int_int_int_intconlevel"
' 345 gcc-intvarargs-intargs-int-int-int-int-intconlevel)
' 346 :void (home :pointer) (x :pointer) (c :pointer) (m :int) (unspec :int)
' 347 (min :int) (max :int) (icl int-con-level))
' 348 (defcfun*
' 349 ("gcc_intvarargs_int_int_intconlevel" gcc-intvarargs-int-int-intconlevel)
' 350 :void (home :pointer) (x :pointer) (lb :int) (ub :int) (icl int-con-level))
' 351 (defcfun* ("gcc_intvarargs_int_intconlevel" gcc-intvarargs-int-intconlevel)
' 352 :void (home :pointer) (x :pointer) (ub :int) (icl int-con-level))
' 353 (defcfun*
' 354 ("gcc_intvarargs_intvarargs_int_int_intconlevel"
' 355 gcc-intvarargs-intvarargs-int-int-intconlevel)
' 356 :void (home :pointer) (x :pointer) (c :pointer) (min :int) (max :int)
' 357 (icl int-con-level))
' 358 (defcfun*
' 359 ("gcc_intvarargs_intargs_intvarargs_int_int_int_bool_int_int_intconlevel"
' 360 gcc-intvarargs-intargs-intvarargs-int-int-int-bool-int-int-intconlevel)
' 361 :void (home :pointer) (x :pointer) (v :pointer) (c :pointer) (m :int)
' 362 (unspec_low :int) (unspec_up :int) (all :boolean) (min :int) (max :int)
' 363 (icl int-con-level))
' 364 (defcfun*
' 365 ("gcc_intvarargs_intargs_intvarargs_int_int_bool_int_int_intconlevel"
' 366 gcc-intvarargs-intargs-intvarargs-int-int-bool-int-int-intconlevel)
' 367 :void (home :pointer) (x :pointer) (v :pointer) (c :pointer) (m :int)
' 368 (unspec :int) (all :boolean) (min :int) (max :int) (icl int-con-level))
' 369 (defcfun*
' 370 ("channel_intvarargs_intvarargs_intconlevel"
' 371 channel-intvarargs-intvarargs-intconlevel)
' 372 :void (home :pointer) (x :pointer) (y :pointer) (icl int-con-level))
' 373 (defcfun* ("dom_intvar_int_int_intconlevel" dom-intvar-int-int-intconlevel)
' 374 :void (home :pointer) (x :pointer) (l :int) (m :int) (icl int-con-level))
' 375 (defcfun*
' 376 ("dom_intvarargs_int_int_intconlevel" dom-intvarargs-int-int-intconlevel)
' 377 :void (home :pointer) (x :pointer) (l :int) (m :int) (icl int-con-level))
' 378 (defcfun* ("dom_intvar_intset_intconlevel" dom-intvar-intset-intconlevel) :void
' 379 (home :pointer) (x :pointer) (s :pointer) (icl int-con-level))
' 380 (defcfun*
' 381 ("dom_intvarargs_intset_intconlevel" dom-intvarargs-intset-intconlevel) :void
' 382 (home :pointer) (x :pointer) (s :pointer) (icl int-con-level))
' 383 (defcfun*
' 384 ("dom_intvar_int_int_boolvar_intconlevel"
' 385 dom-intvar-int-int-boolvar-intconlevel)
' 386 :void (home :pointer) (x :pointer) (l :int) (m :int) (b :pointer)
' 387 (icl int-con-level))
' 388 (defcfun*
' 389 ("dom_intvar_intset_boolvar_intconlevel"
' 390 dom-intvar-intset-boolvar-intconlevel)
' 391 :void (home :pointer) (x :pointer) (s :pointer) (b :pointer)
' 392 (icl int-con-level))
' 393 (defcfun*
' 394 ("bool_not_boolvar_boolvar_intconlevel" bool-not-boolvar-boolvar-intconlevel)
' 395 :void (home :pointer) (b0 :pointer) (b1 :pointer) (icl int-con-level))
' 396 (defcfun*
' 397 ("bool_eq_boolvar_boolvar_intconlevel" bool-eq-boolvar-boolvar-intconlevel)
' 398 :void (home :pointer) (b0 :pointer) (b1 :pointer) (icl int-con-level))
' 399 (defcfun*
' 400 ("bool_and_boolvar_boolvar_boolvar_intconlevel"
' 401 bool-and-boolvar-boolvar-boolvar-intconlevel)
' 402 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :pointer)
' 403 (icl int-con-level))
' 404 (defcfun*
' 405 ("bool_and_boolvar_boolvar_bool_intconlevel"
' 406 bool-and-boolvar-boolvar-bool-intconlevel)
' 407 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :boolean)
' 408 (icl int-con-level))
' 409 (defcfun*
' 410 ("bool_and_boolvarargs_boolvar_intconlevel"
' 411 bool-and-boolvarargs-boolvar-intconlevel)
' 412 :void (home :pointer) (b :pointer) (c :pointer) (icl int-con-level))
' 413 (defcfun*
' 414 ("bool_and_boolvarargs_bool_intconlevel"
' 415 bool-and-boolvarargs-bool-intconlevel)
' 416 :void (home :pointer) (b :pointer) (c :boolean) (icl int-con-level))
' 417 (defcfun*
' 418 ("bool_or_boolvar_boolvar_boolvar_intconlevel"
' 419 bool-or-boolvar-boolvar-boolvar-intconlevel)
' 420 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :pointer)
' 421 (icl int-con-level))
' 422 (defcfun*
' 423 ("bool_or_boolvar_boolvar_bool_intconlevel"
' 424 bool-or-boolvar-boolvar-bool-intconlevel)
' 425 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :boolean)
' 426 (icl int-con-level))
' 427 (defcfun*
' 428 ("bool_or_boolvarargs_boolvar_intconlevel"
' 429 bool-or-boolvarargs-boolvar-intconlevel)
' 430 :void (home :pointer) (b :pointer) (c :pointer) (icl int-con-level))
' 431 (defcfun*
' 432 ("bool_or_boolvarargs_bool_intconlevel" bool-or-boolvarargs-bool-intconlevel)
' 433 :void (home :pointer) (b :pointer) (c :boolean) (icl int-con-level))
' 434 (defcfun*
' 435 ("bool_imp_boolvar_boolvar_boolvar_intconlevel"
' 436 bool-imp-boolvar-boolvar-boolvar-intconlevel)
' 437 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :pointer)
' 438 (icl int-con-level))
' 439 (defcfun*
' 440 ("bool_imp_boolvar_boolvar_bool_intconlevel"
' 441 bool-imp-boolvar-boolvar-bool-intconlevel)
' 442 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :boolean)
' 443 (icl int-con-level))
' 444 (defcfun*
' 445 ("bool_eqv_boolvar_boolvar_boolvar_intconlevel"
' 446 bool-eqv-boolvar-boolvar-boolvar-intconlevel)
' 447 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :pointer)
' 448 (icl int-con-level))
' 449 (defcfun*
' 450 ("bool_eqv_boolvar_boolvar_bool_intconlevel"
' 451 bool-eqv-boolvar-boolvar-bool-intconlevel)
' 452 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :boolean)
' 453 (icl int-con-level))
' 454 (defcfun*
' 455 ("bool_xor_boolvar_boolvar_boolvar_intconlevel"
' 456 bool-xor-boolvar-boolvar-boolvar-intconlevel)
' 457 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :pointer)
' 458 (icl int-con-level))
' 459 (defcfun*
' 460 ("bool_xor_boolvar_boolvar_bool_intconlevel"
' 461 bool-xor-boolvar-boolvar-bool-intconlevel)
' 462 :void (home :pointer) (b0 :pointer) (b1 :pointer) (b2 :boolean)
' 463 (icl int-con-level))
' 464 (defcfun*
' 465 ("sortedness_intvarargs_intvarargs_intconlevel"
' 466 sortedness-intvarargs-intvarargs-intconlevel)
' 467 :void (home :pointer) (x :pointer) (y :pointer) (icl int-con-level))
' 468 (defcfun*
' 469 ("sortedness_intvarargs_intvarargs_intvarargs_intconlevel"
' 470 sortedness-intvarargs-intvarargs-intvarargs-intconlevel)
' 471 :void (home :pointer) (x :pointer) (y :pointer) (z :pointer)
' 472 (icl int-con-level))
' 473 (defcfun* ("distinct_intvarargs_intconlevel" distinct-intvarargs-intconlevel)
' 474 :void (home :pointer) (x :pointer) (icl int-con-level))
' 475 (defcfun*
' 476 ("distinct_intargs_intvarargs_intconlevel"
' 477 distinct-intargs-intvarargs-intconlevel)
' 478 :void (home :pointer) (n :pointer) (x :pointer) (icl int-con-level))
' 479 (defcfun*
' 480 ("element_intargs_intvar_intvar_intconlevel"
' 481 element-intargs-intvar-intvar-intconlevel)
' 482 :void (home :pointer) (n :pointer) (x0 :pointer) (x1 :pointer)
' 483 (icl int-con-level))
' 484 (defcfun*
' 485 ("element_intvarargs_intvar_intvar_intconlevel"
' 486 element-intvarargs-intvar-intvar-intconlevel)
' 487 :void (home :pointer) (x :pointer) (y0 :pointer) (y1 :pointer)
' 488 (icl int-con-level))
' 489 (defcfun*
' 490 ("rel_intvar_intreltype_intvar_intconlevel"
' 491 rel-intvar-intreltype-intvar-intconlevel)
' 492 :void (home :pointer) (x0 :pointer) (r int-rel-type) (x1 :pointer)
' 493 (icl int-con-level))
' 494 (defcfun*
' 495 ("rel_intvar_intreltype_int_intconlevel"
' 496 rel-intvar-intreltype-int-intconlevel)
' 497 :void (home :pointer) (x :pointer) (r int-rel-type) (c :int)
' 498 (icl int-con-level))
' 499 (defcfun*
' 500 ("rel_intvar_intreltype_intvar_boolvar_intconlevel"
' 501 rel-intvar-intreltype-intvar-boolvar-intconlevel)
' 502 :void (home :pointer) (x0 :pointer) (r int-rel-type) (x1 :pointer)
' 503 (b :pointer) (icl int-con-level))
' 504 (defcfun*
' 505 ("rel_intvar_intreltype_int_boolvar_intconlevel"
' 506 rel-intvar-intreltype-int-boolvar-intconlevel)
' 507 :void (home :pointer) (x :pointer) (r int-rel-type) (c :int) (b :pointer)
' 508 (icl int-con-level))
' 509 (defcfun*
' 510 ("rel_intvarargs_intreltype_intvarargs_intconlevel"
' 511 rel-intvarargs-intreltype-intvarargs-intconlevel)
' 512 :void (home :pointer) (x :pointer) (r int-rel-type) (y :pointer)
' 513 (icl int-con-level))
' 514 (defcfun*
' 515 ("min_intvar_intvar_intvar_intconlevel" min-intvar-intvar-intvar-intconlevel)
' 516 :void (home :pointer) (x0 :pointer) (x1 :pointer) (x2 :pointer)
' 517 (icl int-con-level))
' 518 (defcfun*
' 519 ("min_intvarargs_intvar_intconlevel" min-intvarargs-intvar-intconlevel) :void
' 520 (home :pointer) (x :pointer) (y :pointer) (icl int-con-level))
' 521 (defcfun*
' 522 ("max_intvar_intvar_intvar_intconlevel" max-intvar-intvar-intvar-intconlevel)
' 523 :void (home :pointer) (x0 :pointer) (x1 :pointer) (x2 :pointer)
' 524 (icl int-con-level))
' 525 (defcfun*
' 526 ("max_intvarargs_intvar_intconlevel" max-intvarargs-intvar-intconlevel) :void
' 527 (home :pointer) (x :pointer) (y :pointer) (icl int-con-level))
' 528 (defcfun* ("abs_intvar_intvar_intconlevel" abs-intvar-intvar-intconlevel) :void
' 529 (home :pointer) (x0 :pointer) (x1 :pointer) (icl int-con-level))
' 530 (defcfun*
' 531 ("mult_intvar_intvar_intvar_intconlevel"
' 532 mult-intvar-intvar-intvar-intconlevel)
' 533 :void (home :pointer) (x0 :pointer) (x1 :pointer) (x2 :pointer)
' 534 (icl int-con-level))
2006-12-07 kilian.sprot 535
2006-12-21 kilian.sprot 536 ;;; Sets
15:40:43 ' 537
' 538 (defcfun gec-fs-make-const :pointer
2007-02-06 kilian.sprot 539 "Make constant SetVar of CARD with DOM (int array)."
2006-12-21 kilian.sprot 540 (space :pointer)
2007-02-06 kilian.sprot 541 (card :int)
2006-12-21 kilian.sprot 542 (dom :pointer))
15:40:43 ' 543
' 544 (defcfun gec-fs-make-bounds :pointer
' 545 "Make SetVar with lower-bound and upper-bound.
2007-02-06 kilian.sprot 546 The dom pointers are int arrays."
19:14:21 ' 547 (space :pointer)
' 548 (lower-card :int)
' 549 (lower-dom :pointer)
' 550 (upper-card :int)
2006-12-21 kilian.sprot 551 (upper-dom :pointer))
15:40:43 ' 552
' 553 (defcfun gec-fs-make-lower-bound :pointer
' 554 "Make SetVar with lower-bound and empty upper-bound."
' 555 (space :pointer)
2007-02-06 kilian.sprot 556 (lower-card :int)
2006-12-21 kilian.sprot 557 (lower-dom :pointer))
15:40:43 ' 558
' 559 (defcfun gec-fs-make-upper-bound :pointer
' 560 "Make SetVar with empty lower-bound and given upper-bound."
' 561 (space :pointer)
2007-02-06 kilian.sprot 562 (upper-card :int)
2006-12-21 kilian.sprot 563 (upper-dom :pointer))
15:40:43 ' 564
' 565 (defcfun gec-fs-glb-size :unsigned-int
' 566 "Return number of elements in the greatest lower bound."
' 567 (set :pointer))
' 568
' 569 (defcfun gec-fs-lub-size :unsigned-int
' 570 "Return number of elements in the least upper bound."
' 571 (set :pointer))
' 572
' 573 (defcfun gec-fs-unknown-size :unsigned-int
' 574 "Return number of unknown elements (elements in lub but not in glb)."
' 575 (set :pointer))
' 576
' 577 (defcfun gec-fs-card-min :unsigned-int
' 578 "Return cardinality minimum."
' 579 (set :pointer))
' 580
' 581 (defcfun gec-fs-card-max :unsigned-int
' 582 "Return cardinality maximum."
' 583 (set :pointer))
' 584
' 585 (defcfun gec-fs-lub-min :int
' 586 "Return minimum element of least upper bound."
' 587 (set :pointer))
' 588
' 589 (defcfun gec-fs-lub-max :int
' 590 "Return maximum element of least upper bound."
' 591 (set :pointer))
' 592
' 593 (defcfun gec-fs-glb-min :int
' 594 "Return minimum element of greatest lower bound."
' 595 (set :pointer))
' 596
' 597 (defcfun gec-fs-glb-max :int
' 598 "Return maximum of greatest lower bound."
' 599 (set :pointer))
' 600
' 601 (defcfun gec-fs-contains :boolean
' 602 "Test whether i is in greatest lower bound."
' 603 (set :pointer)
' 604 (x :int))
' 605
' 606 (defcfun gec-fs-not-contains :boolean
' 607 "Test whether i is not in the least upper bound."
' 608 (set :pointer)
' 609 (x :int))
' 610
' 611 (defcfun gec-fs-assigned :boolean
' 612 "Test whether this variable is assigned."
' 613 (set :pointer))
' 614
2007-01-08 kilian.sprot 615 ;;
2006-12-21 kilian.sprot 616
2007-01-08 kilian.sprot 617 (defcfun*
01:49:57 ' 618 ("atmostOne_setvarargs_unsigned_int" atmostone-setvarargs-unsigned-int) :void
' 619 (home :pointer) (x :pointer) (c :unsigned-int))
' 620 (defcfun* ("distinct_setvarargs_unsigned_int" distinct-setvarargs-unsigned-int)
' 621 :void (home :pointer) (x :pointer) (c :unsigned-int))
' 622 (defcfun* ("min_setvar_intvar" min-setvar-intvar) :void (home :pointer)
' 623 (s :pointer) (x :pointer))
' 624 (defcfun* ("max_setvar_intvar" max-setvar-intvar) :void (home :pointer)
' 625 (s :pointer) (x :pointer))
' 626 (defcfun* ("match_setvar_intvarargs" match-setvar-intvarargs) :void
' 627 (home :pointer) (s :pointer) (x :pointer))
' 628 (defcfun* ("channel_intvarargs_setvarargs" channel-intvarargs-setvarargs) :void
' 629 (home :pointer) (x :pointer) (y :pointer))
' 630 (defcfun* ("cardinality_setvar_intvar" cardinality-setvar-intvar) :void
' 631 (home :pointer) (s :pointer) (x :pointer))
' 632 (defcfun*
' 633 ("weights_intargs_intargs_setvar_intvar"
' 634 weights-intargs-intargs-setvar-intvar)
' 635 :void (home :pointer) (elements :pointer) (weights :pointer) (x :pointer)
' 636 (y :pointer))
' 637 (defcfun* ("convex_setvar" convex-setvar) :void (home :pointer) (x :pointer))
' 638 (defcfun* ("convexHull_setvar_setvar" convexhull-setvar-setvar) :void
' 639 (home :pointer) (x :pointer) (y :pointer))
' 640 (defcfun*
' 641 ("selectUnion_setvarargs_setvar_setvar" selectunion-setvarargs-setvar-setvar)
' 642 :void (home :pointer) (x :pointer) (y :pointer) (z :pointer))
' 643 (defcfun*
' 644 ("selectInter_setvarargs_setvar_setvar" selectinter-setvarargs-setvar-setvar)
' 645 :void (home :pointer) (x :pointer) (y :pointer) (z :pointer))
' 646 (defcfun*
' 647 ("selectInterIn_setvarargs_setvar_setvar_intset"
' 648 selectinterin-setvarargs-setvar-setvar-intset)
' 649 :void (home :pointer) (x :pointer) (y :pointer) (z :pointer)
' 650 (universe :pointer))
' 651 (defcfun* ("selectDisjoint_setvarargs_setvar" selectdisjoint-setvarargs-setvar)
' 652 :void (home :pointer) (x :pointer) (y :pointer))
' 653 (defcfun*
' 654 ("selectSet_setvarargs_intvar_setvar" selectset-setvarargs-intvar-setvar)
' 655 :void (home :pointer) (x :pointer) (y :pointer) (z :pointer))
' 656 (defcfun* ("rel_setvar_setreltype_setvar" rel-setvar-setreltype-setvar) :void
' 657 (home :pointer) (x :pointer) (r set-rel-type) (y :pointer))
' 658 (defcfun*
' 659 ("rel_setvar_setreltype_setvar_boolvar" rel-setvar-setreltype-setvar-boolvar)
' 660 :void (home :pointer) (x :pointer) (r set-rel-type) (y :pointer) (b :pointer))
' 661 (defcfun* ("rel_setvar_setreltype_intvar" rel-setvar-setreltype-intvar) :void
' 662 (home :pointer) (s :pointer) (r set-rel-type) (x :pointer))
' 663 (defcfun* ("rel_intvar_setreltype_setvar" rel-intvar-setreltype-setvar) :void
' 664 (home :pointer) (x :pointer) (r set-rel-type) (s :pointer))
' 665 (defcfun*
' 666 ("rel_setvar_setreltype_intvar_boolvar" rel-setvar-setreltype-intvar-boolvar)
' 667 :void (home :pointer) (s :pointer) (r set-rel-type) (x :pointer) (b :pointer))
' 668 (defcfun*
' 669 ("rel_intvar_setreltype_setvar_boolvar" rel-intvar-setreltype-setvar-boolvar)
' 670 :void (home :pointer) (x :pointer) (r set-rel-type) (s :pointer) (b :pointer))
' 671 (defcfun* ("rel_setvar_intreltype_intvar" rel-setvar-intreltype-intvar) :void
' 672 (home :pointer) (s :pointer) (r int-rel-type) (x :pointer))
' 673 (defcfun* ("rel_intvar_intreltype_setvar" rel-intvar-intreltype-setvar) :void
' 674 (home :pointer) (x :pointer) (r int-rel-type) (s :pointer))
' 675 (defcfun*
' 676 ("rel_setvar_setoptype_setvar_setreltype_setvar"
' 677 rel-setvar-setoptype-setvar-setreltype-setvar)
' 678 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 679 (r set-rel-type) (z :pointer))
' 680 (defcfun* ("rel_setoptype_setvarargs_setvar" rel-setoptype-setvarargs-setvar)
' 681 :void (home :pointer) (op set-op-type) (x :pointer) (y :pointer))
' 682 (defcfun* ("rel_setoptype_intvarargs_setvar" rel-setoptype-intvarargs-setvar)
' 683 :void (home :pointer) (op set-op-type) (x :pointer) (y :pointer))
' 684 (defcfun*
' 685 ("rel_intset_setoptype_setvar_setreltype_setvar"
' 686 rel-intset-setoptype-setvar-setreltype-setvar)
' 687 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 688 (r set-rel-type) (z :pointer))
' 689 (defcfun*
' 690 ("rel_setvar_setoptype_intset_setreltype_setvar"
' 691 rel-setvar-setoptype-intset-setreltype-setvar)
' 692 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 693 (r set-rel-type) (z :pointer))
' 694 (defcfun*
' 695 ("rel_setvar_setoptype_setvar_setreltype_intset"
' 696 rel-setvar-setoptype-setvar-setreltype-intset)
' 697 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 698 (r set-rel-type) (z :pointer))
' 699 (defcfun*
' 700 ("rel_intset_setoptype_intset_setreltype_setvar"
' 701 rel-intset-setoptype-intset-setreltype-setvar)
' 702 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 703 (r set-rel-type) (z :pointer))
' 704 (defcfun*
' 705 ("rel_intset_setoptype_setvar_setreltype_intset"
' 706 rel-intset-setoptype-setvar-setreltype-intset)
' 707 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 708 (r set-rel-type) (z :pointer))
' 709 (defcfun*
' 710 ("rel_setvar_setoptype_intset_setreltype_intset"
' 711 rel-setvar-setoptype-intset-setreltype-intset)
' 712 :void (home :pointer) (x :pointer) (op set-op-type) (y :pointer)
' 713 (r set-rel-type) (z :pointer))
' 714 (defcfun* ("sequence_setvarargs" sequence-setvarargs) :void (home :pointer)
' 715 (x :pointer))
' 716 (defcfun*
' 717 ("sequentialUnion_setvarargs_setvar" sequentialunion-setvarargs-setvar) :void
' 718 (home :pointer) (y :pointer) (x :pointer))
' 719 (defcfun* ("dom_setvar_setreltype_int" dom-setvar-setreltype-int) :void
' 720 (home :pointer) (x :pointer) (r set-rel-type) (i :int))
' 721 (defcfun* ("dom_setvar_setreltype_int_int" dom-setvar-setreltype-int-int) :void
' 722 (home :pointer) (x :pointer) (r set-rel-type) (i :int) (j :int))
' 723 (defcfun* ("dom_setvar_setreltype_intset" dom-setvar-setreltype-intset) :void
' 724 (home :pointer) (x :pointer) (r set-rel-type) (s :pointer))
' 725 (defcfun*
' 726 ("dom_setvar_setreltype_int_boolvar" dom-setvar-setreltype-int-boolvar) :void
' 727 (home :pointer) (x :pointer) (r set-rel-type) (i :int) (b :pointer))
' 728 (defcfun*
' 729 ("dom_setvar_setreltype_int_int_boolvar"
' 730 dom-setvar-setreltype-int-int-boolvar)
' 731 :void (home :pointer) (x :pointer) (r set-rel-type) (i :int) (j :int)
' 732 (b :pointer))
' 733 (defcfun*
' 734 ("dom_setvar_setreltype_intset_boolvar" dom-setvar-setreltype-intset-boolvar)
' 735 :void (home :pointer) (x :pointer) (r set-rel-type) (s :pointer) (b :pointer))
' 736 (defcfun*
' 737 ("cardinality_setvar_unsigned_int_unsigned_int"
' 738 cardinality-setvar-unsigned-int-unsigned-int)
' 739 :void (home :pointer) (x :pointer) (i :unsigned-int) (j :unsigned-int))
2006-12-21 kilian.sprot 740
2007-02-06 kilian.sprot 741