# HG changeset patch # User Steve Losh # Date 1477752601 0 # Node ID 0306f46e89fb2fafc7c74b7c9d6b8fbf8e16712e # Parent c3c1d21c6fa8fdb3d204878c47c1fb6151715cda Tear out cudd diff -r c3c1d21c6fa8 -r 0306f46e89fb Makefile --- a/Makefile Sat Oct 29 14:48:46 2016 +0000 +++ b/Makefile Sat Oct 29 14:50:01 2016 +0000 @@ -1,4 +1,4 @@ -.PHONY: vendor cudd clean +.PHONY: vendor # Vendor ---------------------------------------------------------------------- vendor/quickutils.lisp: vendor/make-quickutils.lisp @@ -6,23 +6,3 @@ vendor: vendor/quickutils.lisp -# CUDD ------------------------------------------------------------------------ -build/cudd-3.0.0.tar.gz: - mkdir -p build - cd build && wget 'ftp://vlsi.colorado.edu/pub/cudd-3.0.0.tar.gz' - -build/cudd-3.0.0: build/cudd-3.0.0.tar.gz - cd build && tar -xzf cudd-3.0.0.tar.gz - -build/libcudd.dylib: build/cudd-3.0.0 - cd build/cudd-3.0.0 && ./configure --enable-shared && make - cp build/cudd-3.0.0/cudd/.libs/libcudd-*.dylib build/libcudd.dylib - -src/cudd.lisp: build/cudd-3.0.0 src/cudd.i - swig -cffi src/cudd.i - -cudd: build/libcudd.dylib src/cudd.lisp - -# Misc ------------------------------------------------------------------------ -clean: - rm -rf build diff -r c3c1d21c6fa8 -r 0306f46e89fb package.lisp --- a/package.lisp Sat Oct 29 14:48:46 2016 +0000 +++ b/package.lisp Sat Oct 29 14:50:01 2016 +0000 @@ -20,7 +20,6 @@ :scully.quickutils) (:export)) -(defpackage :scully.cudd) (defpackage :scully.zdd (:use @@ -28,13 +27,11 @@ :losh :iterate :cl-arrows - :cffi - ; :scully.cudd :trivialib.bdd :scully.quickutils) (:export) - (:shadowing-import-from :trivialib.bdd :make-set) - ) + (:shadowing-import-from :trivialib.bdd + :make-set)) (defpackage :scully.reasoners.prolog (:use diff -r c3c1d21c6fa8 -r 0306f46e89fb scully.asd --- a/scully.asd Sat Oct 29 14:48:46 2016 +0000 +++ b/scully.asd Sat Oct 29 14:50:01 2016 +0000 @@ -17,8 +17,7 @@ :cl-algebraic-data-type :cl-arrows :cl-ggp - :trivialib.bdd - :cffi) + :trivialib.bdd) :serial t :components ((:module "vendor" :serial t @@ -28,7 +27,6 @@ (:module "src" :serial t :components ((:file "gdl") (:file "rule-trees") - (:file "cudd") (:file "zdd") (:module "reasoners" :serial t :components ((:file "prolog"))) diff -r c3c1d21c6fa8 -r 0306f46e89fb src/cudd.i --- a/src/cudd.i Sat Oct 29 14:48:46 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,23 +0,0 @@ -%module cudd - -%feature("intern_function","1"); -%feature("export"); - -%insert("lisphead")%{ - -(cl:in-package :scully.cudd) - -(cffi:define-foreign-library scully.zdd::cudd - (:darwin "./build/libcudd.dylib")) - -(cffi:use-foreign-library scully.zdd::cudd) - -%} - -%inline %{ - -typedef unsigned int size_t; - -%} - -%include "build/cudd-3.0.0/cudd/cudd.h" diff -r c3c1d21c6fa8 -r 0306f46e89fb src/cudd.lisp --- a/src/cudd.lisp Sat Oct 29 14:48:46 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,3237 +0,0 @@ -;;; This file was automatically generated by SWIG (http://www.swig.org). -;;; Version 3.0.10 -;;; -;;; Do not make changes to this file unless you know what you are doing--modify -;;; the SWIG interface file instead. - - -(cl:in-package :scully.cudd) - -(cffi:define-foreign-library scully.zdd::cudd - (:darwin "./build/libcudd.dylib")) - -(cffi:use-foreign-library scully.zdd::cudd) - - - - -;;;SWIG wrapper code starts here - -(cl:defmacro defanonenum (cl:&body enums) - "Converts anonymous enums to defconstants." - `(cl:progn ,@(cl:loop for value in enums - for index = 0 then (cl:1+ index) - when (cl:listp value) do (cl:setf index (cl:second value) - value (cl:first value)) - collect `(cl:defconstant ,value ,index)))) - -(cl:eval-when (:compile-toplevel :load-toplevel) - (cl:unless (cl:fboundp 'swig-lispify) - (cl:defun swig-lispify (name flag cl:&optional (package cl:*package*)) - (cl:labels ((helper (lst last rest cl:&aux (c (cl:car lst))) - (cl:cond - ((cl:null lst) - rest) - ((cl:upper-case-p c) - (helper (cl:cdr lst) 'upper - (cl:case last - ((lower digit) (cl:list* c #\- rest)) - (cl:t (cl:cons c rest))))) - ((cl:lower-case-p c) - (helper (cl:cdr lst) 'lower (cl:cons (cl:char-upcase c) rest))) - ((cl:digit-char-p c) - (helper (cl:cdr lst) 'digit - (cl:case last - ((upper lower) (cl:list* c #\- rest)) - (cl:t (cl:cons c rest))))) - ((cl:char-equal c #\_) - (helper (cl:cdr lst) '_ (cl:cons #\- rest))) - (cl:t - (cl:error "Invalid character: ~A" c))))) - (cl:let ((fix (cl:case flag - ((constant enumvalue) "+") - (variable "*") - (cl:t "")))) - (cl:intern - (cl:concatenate - 'cl:string - fix - (cl:nreverse (helper (cl:concatenate 'cl:list name) cl:nil cl:nil)) - fix) - package)))))) - -;;;SWIG wrapper code ends here - - -(cl:defconstant #.(swig-lispify "CUDD_TRUE" 'constant) 1) - -(cl:export '#.(swig-lispify "CUDD_TRUE" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_FALSE" 'constant) 0) - -(cl:export '#.(swig-lispify "CUDD_FALSE" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_OUT_OF_MEM" 'constant) -1) - -(cl:export '#.(swig-lispify "CUDD_OUT_OF_MEM" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_UNIQUE_SLOTS" 'constant) 256) - -(cl:export '#.(swig-lispify "CUDD_UNIQUE_SLOTS" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_CACHE_SLOTS" 'constant) 262144) - -(cl:export '#.(swig-lispify "CUDD_CACHE_SLOTS" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_RESIDUE_DEFAULT" 'constant) 0) - -(cl:export '#.(swig-lispify "CUDD_RESIDUE_DEFAULT" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_RESIDUE_MSB" 'constant) 1) - -(cl:export '#.(swig-lispify "CUDD_RESIDUE_MSB" 'constant)) - -(cl:defconstant #.(swig-lispify "CUDD_RESIDUE_TC" 'constant) 2) - -(cl:export '#.(swig-lispify "CUDD_RESIDUE_TC" 'constant)) - -(cffi:defcenum #.(swig-lispify "Cudd_ReorderingType" 'enumname) - #.(swig-lispify "CUDD_REORDER_SAME" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_NONE" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_RANDOM" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_RANDOM_PIVOT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_SIFT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_SIFT_CONVERGE" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_SYMM_SIFT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_SYMM_SIFT_CONV" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_WINDOW2" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_WINDOW3" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_WINDOW4" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_WINDOW2_CONV" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_WINDOW3_CONV" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_WINDOW4_CONV" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_GROUP_SIFT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_GROUP_SIFT_CONV" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_ANNEALING" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_GENETIC" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_LINEAR" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_LINEAR_CONVERGE" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_LAZY_SIFT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_REORDER_EXACT" 'enumvalue :keyword)) - -(cl:export '#.(swig-lispify "Cudd_ReorderingType" 'enumname)) - -(cffi:defcenum #.(swig-lispify "Cudd_AggregationType" 'enumname) - #.(swig-lispify "CUDD_NO_CHECK" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK2" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK3" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK4" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK5" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK6" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK7" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK8" 'enumvalue :keyword) - #.(swig-lispify "CUDD_GROUP_CHECK9" 'enumvalue :keyword)) - -(cl:export '#.(swig-lispify "Cudd_AggregationType" 'enumname)) - -(cffi:defcenum #.(swig-lispify "Cudd_HookType" 'enumname) - #.(swig-lispify "CUDD_PRE_GC_HOOK" 'enumvalue :keyword) - #.(swig-lispify "CUDD_POST_GC_HOOK" 'enumvalue :keyword) - #.(swig-lispify "CUDD_PRE_REORDERING_HOOK" 'enumvalue :keyword) - #.(swig-lispify "CUDD_POST_REORDERING_HOOK" 'enumvalue :keyword)) - -(cl:export '#.(swig-lispify "Cudd_HookType" 'enumname)) - -(cffi:defcenum #.(swig-lispify "Cudd_ErrorType" 'enumname) - #.(swig-lispify "CUDD_NO_ERROR" 'enumvalue :keyword) - #.(swig-lispify "CUDD_MEMORY_OUT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_TOO_MANY_NODES" 'enumvalue :keyword) - #.(swig-lispify "CUDD_MAX_MEM_EXCEEDED" 'enumvalue :keyword) - #.(swig-lispify "CUDD_TIMEOUT_EXPIRED" 'enumvalue :keyword) - #.(swig-lispify "CUDD_TERMINATION" 'enumvalue :keyword) - #.(swig-lispify "CUDD_INVALID_ARG" 'enumvalue :keyword) - #.(swig-lispify "CUDD_INTERNAL_ERROR" 'enumvalue :keyword)) - -(cl:export '#.(swig-lispify "Cudd_ErrorType" 'enumname)) - -(cffi:defcenum #.(swig-lispify "Cudd_LazyGroupType" 'enumname) - #.(swig-lispify "CUDD_LAZY_NONE" 'enumvalue :keyword) - #.(swig-lispify "CUDD_LAZY_SOFT_GROUP" 'enumvalue :keyword) - #.(swig-lispify "CUDD_LAZY_HARD_GROUP" 'enumvalue :keyword) - #.(swig-lispify "CUDD_LAZY_UNGROUP" 'enumvalue :keyword)) - -(cl:export '#.(swig-lispify "Cudd_LazyGroupType" 'enumname)) - -(cffi:defcenum #.(swig-lispify "Cudd_VariableType" 'enumname) - #.(swig-lispify "CUDD_VAR_PRIMARY_INPUT" 'enumvalue :keyword) - #.(swig-lispify "CUDD_VAR_PRESENT_STATE" 'enumvalue :keyword) - #.(swig-lispify "CUDD_VAR_NEXT_STATE" 'enumvalue :keyword)) - -(cl:export '#.(swig-lispify "Cudd_VariableType" 'enumname)) - -(cffi:defcfun ("Cudd_addNewVar" #.(swig-lispify "Cudd_addNewVar" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addNewVar" 'function)) - -(cffi:defcfun ("Cudd_addNewVarAtLevel" #.(swig-lispify "Cudd_addNewVarAtLevel" 'function)) :pointer - (dd :pointer) - (level :int)) - -(cl:export '#.(swig-lispify "Cudd_addNewVarAtLevel" 'function)) - -(cffi:defcfun ("Cudd_bddNewVar" #.(swig-lispify "Cudd_bddNewVar" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddNewVar" 'function)) - -(cffi:defcfun ("Cudd_bddNewVarAtLevel" #.(swig-lispify "Cudd_bddNewVarAtLevel" 'function)) :pointer - (dd :pointer) - (level :int)) - -(cl:export '#.(swig-lispify "Cudd_bddNewVarAtLevel" 'function)) - -(cffi:defcfun ("Cudd_bddIsVar" #.(swig-lispify "Cudd_bddIsVar" 'function)) :int - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIsVar" 'function)) - -(cffi:defcfun ("Cudd_addIthVar" #.(swig-lispify "Cudd_addIthVar" 'function)) :pointer - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_addIthVar" 'function)) - -(cffi:defcfun ("Cudd_bddIthVar" #.(swig-lispify "Cudd_bddIthVar" 'function)) :pointer - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIthVar" 'function)) - -(cffi:defcfun ("Cudd_zddIthVar" #.(swig-lispify "Cudd_zddIthVar" 'function)) :pointer - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_zddIthVar" 'function)) - -(cffi:defcfun ("Cudd_zddVarsFromBddVars" #.(swig-lispify "Cudd_zddVarsFromBddVars" 'function)) :int - (dd :pointer) - (multiplicity :int)) - -(cl:export '#.(swig-lispify "Cudd_zddVarsFromBddVars" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxIndex" #.(swig-lispify "Cudd_ReadMaxIndex" 'function)) :unsigned-int) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxIndex" 'function)) - -(cffi:defcfun ("Cudd_addConst" #.(swig-lispify "Cudd_addConst" 'function)) :pointer - (dd :pointer) - (c :double)) - -(cl:export '#.(swig-lispify "Cudd_addConst" 'function)) - -(cffi:defcfun ("Cudd_IsConstant" #.(swig-lispify "Cudd_IsConstant" 'function)) :int - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_IsConstant" 'function)) - -(cffi:defcfun ("Cudd_IsNonConstant" #.(swig-lispify "Cudd_IsNonConstant" 'function)) :int - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_IsNonConstant" 'function)) - -(cffi:defcfun ("Cudd_T" #.(swig-lispify "Cudd_T" 'function)) :pointer - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_T" 'function)) - -(cffi:defcfun ("Cudd_E" #.(swig-lispify "Cudd_E" 'function)) :pointer - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_E" 'function)) - -(cffi:defcfun ("Cudd_V" #.(swig-lispify "Cudd_V" 'function)) :double - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_V" 'function)) - -(cffi:defcfun ("Cudd_ReadStartTime" #.(swig-lispify "Cudd_ReadStartTime" 'function)) :unsigned-long - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadStartTime" 'function)) - -(cffi:defcfun ("Cudd_ReadElapsedTime" #.(swig-lispify "Cudd_ReadElapsedTime" 'function)) :unsigned-long - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadElapsedTime" 'function)) - -(cffi:defcfun ("Cudd_SetStartTime" #.(swig-lispify "Cudd_SetStartTime" 'function)) :void - (unique :pointer) - (st :unsigned-long)) - -(cl:export '#.(swig-lispify "Cudd_SetStartTime" 'function)) - -(cffi:defcfun ("Cudd_ResetStartTime" #.(swig-lispify "Cudd_ResetStartTime" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ResetStartTime" 'function)) - -(cffi:defcfun ("Cudd_ReadTimeLimit" #.(swig-lispify "Cudd_ReadTimeLimit" 'function)) :unsigned-long - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadTimeLimit" 'function)) - -(cffi:defcfun ("Cudd_SetTimeLimit" #.(swig-lispify "Cudd_SetTimeLimit" 'function)) :unsigned-long - (unique :pointer) - (tl :unsigned-long)) - -(cl:export '#.(swig-lispify "Cudd_SetTimeLimit" 'function)) - -(cffi:defcfun ("Cudd_UpdateTimeLimit" #.(swig-lispify "Cudd_UpdateTimeLimit" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_UpdateTimeLimit" 'function)) - -(cffi:defcfun ("Cudd_IncreaseTimeLimit" #.(swig-lispify "Cudd_IncreaseTimeLimit" 'function)) :void - (unique :pointer) - (increase :unsigned-long)) - -(cl:export '#.(swig-lispify "Cudd_IncreaseTimeLimit" 'function)) - -(cffi:defcfun ("Cudd_UnsetTimeLimit" #.(swig-lispify "Cudd_UnsetTimeLimit" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_UnsetTimeLimit" 'function)) - -(cffi:defcfun ("Cudd_TimeLimited" #.(swig-lispify "Cudd_TimeLimited" 'function)) :int - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_TimeLimited" 'function)) - -(cffi:defcfun ("Cudd_RegisterTerminationCallback" #.(swig-lispify "Cudd_RegisterTerminationCallback" 'function)) :void - (unique :pointer) - (callback :pointer) - (callback_arg :pointer)) - -(cl:export '#.(swig-lispify "Cudd_RegisterTerminationCallback" 'function)) - -(cffi:defcfun ("Cudd_UnregisterTerminationCallback" #.(swig-lispify "Cudd_UnregisterTerminationCallback" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_UnregisterTerminationCallback" 'function)) - -(cffi:defcfun ("Cudd_RegisterOutOfMemoryCallback" #.(swig-lispify "Cudd_RegisterOutOfMemoryCallback" 'function)) :pointer - (unique :pointer) - (callback :pointer)) - -(cl:export '#.(swig-lispify "Cudd_RegisterOutOfMemoryCallback" 'function)) - -(cffi:defcfun ("Cudd_UnregisterOutOfMemoryCallback" #.(swig-lispify "Cudd_UnregisterOutOfMemoryCallback" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_UnregisterOutOfMemoryCallback" 'function)) - -(cffi:defcfun ("Cudd_RegisterTimeoutHandler" #.(swig-lispify "Cudd_RegisterTimeoutHandler" 'function)) :void - (unique :pointer) - (handler :pointer) - (arg :pointer)) - -(cl:export '#.(swig-lispify "Cudd_RegisterTimeoutHandler" 'function)) - -(cffi:defcfun ("Cudd_ReadTimeoutHandler" #.(swig-lispify "Cudd_ReadTimeoutHandler" 'function)) :pointer - (unique :pointer) - (argp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadTimeoutHandler" 'function)) - -(cffi:defcfun ("Cudd_AutodynEnable" #.(swig-lispify "Cudd_AutodynEnable" 'function)) :void - (unique :pointer) - (method #.(swig-lispify "Cudd_ReorderingType" 'enumname))) - -(cl:export '#.(swig-lispify "Cudd_AutodynEnable" 'function)) - -(cffi:defcfun ("Cudd_AutodynDisable" #.(swig-lispify "Cudd_AutodynDisable" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_AutodynDisable" 'function)) - -(cffi:defcfun ("Cudd_ReorderingStatus" #.(swig-lispify "Cudd_ReorderingStatus" 'function)) :int - (unique :pointer) - (method :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReorderingStatus" 'function)) - -(cffi:defcfun ("Cudd_AutodynEnableZdd" #.(swig-lispify "Cudd_AutodynEnableZdd" 'function)) :void - (unique :pointer) - (method #.(swig-lispify "Cudd_ReorderingType" 'enumname))) - -(cl:export '#.(swig-lispify "Cudd_AutodynEnableZdd" 'function)) - -(cffi:defcfun ("Cudd_AutodynDisableZdd" #.(swig-lispify "Cudd_AutodynDisableZdd" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_AutodynDisableZdd" 'function)) - -(cffi:defcfun ("Cudd_ReorderingStatusZdd" #.(swig-lispify "Cudd_ReorderingStatusZdd" 'function)) :int - (unique :pointer) - (method :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReorderingStatusZdd" 'function)) - -(cffi:defcfun ("Cudd_zddRealignmentEnabled" #.(swig-lispify "Cudd_zddRealignmentEnabled" 'function)) :int - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddRealignmentEnabled" 'function)) - -(cffi:defcfun ("Cudd_zddRealignEnable" #.(swig-lispify "Cudd_zddRealignEnable" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddRealignEnable" 'function)) - -(cffi:defcfun ("Cudd_zddRealignDisable" #.(swig-lispify "Cudd_zddRealignDisable" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddRealignDisable" 'function)) - -(cffi:defcfun ("Cudd_bddRealignmentEnabled" #.(swig-lispify "Cudd_bddRealignmentEnabled" 'function)) :int - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddRealignmentEnabled" 'function)) - -(cffi:defcfun ("Cudd_bddRealignEnable" #.(swig-lispify "Cudd_bddRealignEnable" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddRealignEnable" 'function)) - -(cffi:defcfun ("Cudd_bddRealignDisable" #.(swig-lispify "Cudd_bddRealignDisable" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddRealignDisable" 'function)) - -(cffi:defcfun ("Cudd_ReadOne" #.(swig-lispify "Cudd_ReadOne" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadOne" 'function)) - -(cffi:defcfun ("Cudd_ReadZddOne" #.(swig-lispify "Cudd_ReadZddOne" 'function)) :pointer - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadZddOne" 'function)) - -(cffi:defcfun ("Cudd_ReadZero" #.(swig-lispify "Cudd_ReadZero" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadZero" 'function)) - -(cffi:defcfun ("Cudd_ReadLogicZero" #.(swig-lispify "Cudd_ReadLogicZero" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadLogicZero" 'function)) - -(cffi:defcfun ("Cudd_ReadPlusInfinity" #.(swig-lispify "Cudd_ReadPlusInfinity" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadPlusInfinity" 'function)) - -(cffi:defcfun ("Cudd_ReadMinusInfinity" #.(swig-lispify "Cudd_ReadMinusInfinity" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMinusInfinity" 'function)) - -(cffi:defcfun ("Cudd_ReadBackground" #.(swig-lispify "Cudd_ReadBackground" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadBackground" 'function)) - -(cffi:defcfun ("Cudd_SetBackground" #.(swig-lispify "Cudd_SetBackground" 'function)) :void - (dd :pointer) - (bck :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SetBackground" 'function)) - -(cffi:defcfun ("Cudd_ReadCacheSlots" #.(swig-lispify "Cudd_ReadCacheSlots" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadCacheSlots" 'function)) - -(cffi:defcfun ("Cudd_ReadCacheUsedSlots" #.(swig-lispify "Cudd_ReadCacheUsedSlots" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadCacheUsedSlots" 'function)) - -(cffi:defcfun ("Cudd_ReadCacheLookUps" #.(swig-lispify "Cudd_ReadCacheLookUps" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadCacheLookUps" 'function)) - -(cffi:defcfun ("Cudd_ReadCacheHits" #.(swig-lispify "Cudd_ReadCacheHits" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadCacheHits" 'function)) - -(cffi:defcfun ("Cudd_ReadRecursiveCalls" #.(swig-lispify "Cudd_ReadRecursiveCalls" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadRecursiveCalls" 'function)) - -(cffi:defcfun ("Cudd_ReadMinHit" #.(swig-lispify "Cudd_ReadMinHit" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMinHit" 'function)) - -(cffi:defcfun ("Cudd_SetMinHit" #.(swig-lispify "Cudd_SetMinHit" 'function)) :void - (dd :pointer) - (hr :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetMinHit" 'function)) - -(cffi:defcfun ("Cudd_ReadLooseUpTo" #.(swig-lispify "Cudd_ReadLooseUpTo" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadLooseUpTo" 'function)) - -(cffi:defcfun ("Cudd_SetLooseUpTo" #.(swig-lispify "Cudd_SetLooseUpTo" 'function)) :void - (dd :pointer) - (lut :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetLooseUpTo" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxCache" #.(swig-lispify "Cudd_ReadMaxCache" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxCache" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxCacheHard" #.(swig-lispify "Cudd_ReadMaxCacheHard" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxCacheHard" 'function)) - -(cffi:defcfun ("Cudd_SetMaxCacheHard" #.(swig-lispify "Cudd_SetMaxCacheHard" 'function)) :void - (dd :pointer) - (mc :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetMaxCacheHard" 'function)) - -(cffi:defcfun ("Cudd_ReadSize" #.(swig-lispify "Cudd_ReadSize" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadSize" 'function)) - -(cffi:defcfun ("Cudd_ReadZddSize" #.(swig-lispify "Cudd_ReadZddSize" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadZddSize" 'function)) - -(cffi:defcfun ("Cudd_ReadSlots" #.(swig-lispify "Cudd_ReadSlots" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadSlots" 'function)) - -(cffi:defcfun ("Cudd_ReadUsedSlots" #.(swig-lispify "Cudd_ReadUsedSlots" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadUsedSlots" 'function)) - -(cffi:defcfun ("Cudd_ExpectedUsedSlots" #.(swig-lispify "Cudd_ExpectedUsedSlots" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ExpectedUsedSlots" 'function)) - -(cffi:defcfun ("Cudd_ReadKeys" #.(swig-lispify "Cudd_ReadKeys" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadKeys" 'function)) - -(cffi:defcfun ("Cudd_ReadDead" #.(swig-lispify "Cudd_ReadDead" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadDead" 'function)) - -(cffi:defcfun ("Cudd_ReadMinDead" #.(swig-lispify "Cudd_ReadMinDead" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMinDead" 'function)) - -(cffi:defcfun ("Cudd_ReadReorderings" #.(swig-lispify "Cudd_ReadReorderings" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadReorderings" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxReorderings" #.(swig-lispify "Cudd_ReadMaxReorderings" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxReorderings" 'function)) - -(cffi:defcfun ("Cudd_SetMaxReorderings" #.(swig-lispify "Cudd_SetMaxReorderings" 'function)) :void - (dd :pointer) - (mr :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetMaxReorderings" 'function)) - -(cffi:defcfun ("Cudd_ReadReorderingTime" #.(swig-lispify "Cudd_ReadReorderingTime" 'function)) :long - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadReorderingTime" 'function)) - -(cffi:defcfun ("Cudd_ReadGarbageCollections" #.(swig-lispify "Cudd_ReadGarbageCollections" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadGarbageCollections" 'function)) - -(cffi:defcfun ("Cudd_ReadGarbageCollectionTime" #.(swig-lispify "Cudd_ReadGarbageCollectionTime" 'function)) :long - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadGarbageCollectionTime" 'function)) - -(cffi:defcfun ("Cudd_ReadNodesFreed" #.(swig-lispify "Cudd_ReadNodesFreed" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadNodesFreed" 'function)) - -(cffi:defcfun ("Cudd_ReadNodesDropped" #.(swig-lispify "Cudd_ReadNodesDropped" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadNodesDropped" 'function)) - -(cffi:defcfun ("Cudd_ReadUniqueLookUps" #.(swig-lispify "Cudd_ReadUniqueLookUps" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadUniqueLookUps" 'function)) - -(cffi:defcfun ("Cudd_ReadUniqueLinks" #.(swig-lispify "Cudd_ReadUniqueLinks" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadUniqueLinks" 'function)) - -(cffi:defcfun ("Cudd_ReadSiftMaxVar" #.(swig-lispify "Cudd_ReadSiftMaxVar" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadSiftMaxVar" 'function)) - -(cffi:defcfun ("Cudd_SetSiftMaxVar" #.(swig-lispify "Cudd_SetSiftMaxVar" 'function)) :void - (dd :pointer) - (smv :int)) - -(cl:export '#.(swig-lispify "Cudd_SetSiftMaxVar" 'function)) - -(cffi:defcfun ("Cudd_ReadSiftMaxSwap" #.(swig-lispify "Cudd_ReadSiftMaxSwap" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadSiftMaxSwap" 'function)) - -(cffi:defcfun ("Cudd_SetSiftMaxSwap" #.(swig-lispify "Cudd_SetSiftMaxSwap" 'function)) :void - (dd :pointer) - (sms :int)) - -(cl:export '#.(swig-lispify "Cudd_SetSiftMaxSwap" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxGrowth" #.(swig-lispify "Cudd_ReadMaxGrowth" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxGrowth" 'function)) - -(cffi:defcfun ("Cudd_SetMaxGrowth" #.(swig-lispify "Cudd_SetMaxGrowth" 'function)) :void - (dd :pointer) - (mg :double)) - -(cl:export '#.(swig-lispify "Cudd_SetMaxGrowth" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxGrowthAlternate" #.(swig-lispify "Cudd_ReadMaxGrowthAlternate" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxGrowthAlternate" 'function)) - -(cffi:defcfun ("Cudd_SetMaxGrowthAlternate" #.(swig-lispify "Cudd_SetMaxGrowthAlternate" 'function)) :void - (dd :pointer) - (mg :double)) - -(cl:export '#.(swig-lispify "Cudd_SetMaxGrowthAlternate" 'function)) - -(cffi:defcfun ("Cudd_ReadReorderingCycle" #.(swig-lispify "Cudd_ReadReorderingCycle" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadReorderingCycle" 'function)) - -(cffi:defcfun ("Cudd_SetReorderingCycle" #.(swig-lispify "Cudd_SetReorderingCycle" 'function)) :void - (dd :pointer) - (cycle :int)) - -(cl:export '#.(swig-lispify "Cudd_SetReorderingCycle" 'function)) - -(cffi:defcfun ("Cudd_NodeReadIndex" #.(swig-lispify "Cudd_NodeReadIndex" 'function)) :unsigned-int - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_NodeReadIndex" 'function)) - -(cffi:defcfun ("Cudd_ReadPerm" #.(swig-lispify "Cudd_ReadPerm" 'function)) :int - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadPerm" 'function)) - -(cffi:defcfun ("Cudd_ReadPermZdd" #.(swig-lispify "Cudd_ReadPermZdd" 'function)) :int - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadPermZdd" 'function)) - -(cffi:defcfun ("Cudd_ReadInvPerm" #.(swig-lispify "Cudd_ReadInvPerm" 'function)) :int - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadInvPerm" 'function)) - -(cffi:defcfun ("Cudd_ReadInvPermZdd" #.(swig-lispify "Cudd_ReadInvPermZdd" 'function)) :int - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadInvPermZdd" 'function)) - -(cffi:defcfun ("Cudd_ReadVars" #.(swig-lispify "Cudd_ReadVars" 'function)) :pointer - (dd :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadVars" 'function)) - -(cffi:defcfun ("Cudd_ReadEpsilon" #.(swig-lispify "Cudd_ReadEpsilon" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadEpsilon" 'function)) - -(cffi:defcfun ("Cudd_SetEpsilon" #.(swig-lispify "Cudd_SetEpsilon" 'function)) :void - (dd :pointer) - (ep :double)) - -(cl:export '#.(swig-lispify "Cudd_SetEpsilon" 'function)) - -(cffi:defcfun ("Cudd_ReadGroupcheck" #.(swig-lispify "Cudd_ReadGroupcheck" 'function)) #.(swig-lispify "Cudd_AggregationType" 'enumname) - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadGroupcheck" 'function)) - -(cffi:defcfun ("Cudd_SetGroupcheck" #.(swig-lispify "Cudd_SetGroupcheck" 'function)) :void - (dd :pointer) - (gc #.(swig-lispify "Cudd_AggregationType" 'enumname))) - -(cl:export '#.(swig-lispify "Cudd_SetGroupcheck" 'function)) - -(cffi:defcfun ("Cudd_GarbageCollectionEnabled" #.(swig-lispify "Cudd_GarbageCollectionEnabled" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_GarbageCollectionEnabled" 'function)) - -(cffi:defcfun ("Cudd_EnableGarbageCollection" #.(swig-lispify "Cudd_EnableGarbageCollection" 'function)) :void - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_EnableGarbageCollection" 'function)) - -(cffi:defcfun ("Cudd_DisableGarbageCollection" #.(swig-lispify "Cudd_DisableGarbageCollection" 'function)) :void - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DisableGarbageCollection" 'function)) - -(cffi:defcfun ("Cudd_DeadAreCounted" #.(swig-lispify "Cudd_DeadAreCounted" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DeadAreCounted" 'function)) - -(cffi:defcfun ("Cudd_TurnOnCountDead" #.(swig-lispify "Cudd_TurnOnCountDead" 'function)) :void - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_TurnOnCountDead" 'function)) - -(cffi:defcfun ("Cudd_TurnOffCountDead" #.(swig-lispify "Cudd_TurnOffCountDead" 'function)) :void - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_TurnOffCountDead" 'function)) - -(cffi:defcfun ("Cudd_ReadRecomb" #.(swig-lispify "Cudd_ReadRecomb" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadRecomb" 'function)) - -(cffi:defcfun ("Cudd_SetRecomb" #.(swig-lispify "Cudd_SetRecomb" 'function)) :void - (dd :pointer) - (recomb :int)) - -(cl:export '#.(swig-lispify "Cudd_SetRecomb" 'function)) - -(cffi:defcfun ("Cudd_ReadSymmviolation" #.(swig-lispify "Cudd_ReadSymmviolation" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadSymmviolation" 'function)) - -(cffi:defcfun ("Cudd_SetSymmviolation" #.(swig-lispify "Cudd_SetSymmviolation" 'function)) :void - (dd :pointer) - (symmviolation :int)) - -(cl:export '#.(swig-lispify "Cudd_SetSymmviolation" 'function)) - -(cffi:defcfun ("Cudd_ReadArcviolation" #.(swig-lispify "Cudd_ReadArcviolation" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadArcviolation" 'function)) - -(cffi:defcfun ("Cudd_SetArcviolation" #.(swig-lispify "Cudd_SetArcviolation" 'function)) :void - (dd :pointer) - (arcviolation :int)) - -(cl:export '#.(swig-lispify "Cudd_SetArcviolation" 'function)) - -(cffi:defcfun ("Cudd_ReadPopulationSize" #.(swig-lispify "Cudd_ReadPopulationSize" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadPopulationSize" 'function)) - -(cffi:defcfun ("Cudd_SetPopulationSize" #.(swig-lispify "Cudd_SetPopulationSize" 'function)) :void - (dd :pointer) - (populationSize :int)) - -(cl:export '#.(swig-lispify "Cudd_SetPopulationSize" 'function)) - -(cffi:defcfun ("Cudd_ReadNumberXovers" #.(swig-lispify "Cudd_ReadNumberXovers" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadNumberXovers" 'function)) - -(cffi:defcfun ("Cudd_SetNumberXovers" #.(swig-lispify "Cudd_SetNumberXovers" 'function)) :void - (dd :pointer) - (numberXovers :int)) - -(cl:export '#.(swig-lispify "Cudd_SetNumberXovers" 'function)) - -(cffi:defcfun ("Cudd_ReadOrderRandomization" #.(swig-lispify "Cudd_ReadOrderRandomization" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadOrderRandomization" 'function)) - -(cffi:defcfun ("Cudd_SetOrderRandomization" #.(swig-lispify "Cudd_SetOrderRandomization" 'function)) :void - (dd :pointer) - (factor :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetOrderRandomization" 'function)) - -(cffi:defcfun ("Cudd_ReadMemoryInUse" #.(swig-lispify "Cudd_ReadMemoryInUse" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMemoryInUse" 'function)) - -(cffi:defcfun ("Cudd_PrintInfo" #.(swig-lispify "Cudd_PrintInfo" 'function)) :int - (dd :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrintInfo" 'function)) - -(cffi:defcfun ("Cudd_ReadPeakNodeCount" #.(swig-lispify "Cudd_ReadPeakNodeCount" 'function)) :long - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadPeakNodeCount" 'function)) - -(cffi:defcfun ("Cudd_ReadPeakLiveNodeCount" #.(swig-lispify "Cudd_ReadPeakLiveNodeCount" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadPeakLiveNodeCount" 'function)) - -(cffi:defcfun ("Cudd_ReadNodeCount" #.(swig-lispify "Cudd_ReadNodeCount" 'function)) :long - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadNodeCount" 'function)) - -(cffi:defcfun ("Cudd_zddReadNodeCount" #.(swig-lispify "Cudd_zddReadNodeCount" 'function)) :long - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddReadNodeCount" 'function)) - -(cffi:defcfun ("Cudd_AddHook" #.(swig-lispify "Cudd_AddHook" 'function)) :int - (dd :pointer) - (f :pointer) - (where #.(swig-lispify "Cudd_HookType" 'enumname))) - -(cl:export '#.(swig-lispify "Cudd_AddHook" 'function)) - -(cffi:defcfun ("Cudd_RemoveHook" #.(swig-lispify "Cudd_RemoveHook" 'function)) :int - (dd :pointer) - (f :pointer) - (where #.(swig-lispify "Cudd_HookType" 'enumname))) - -(cl:export '#.(swig-lispify "Cudd_RemoveHook" 'function)) - -(cffi:defcfun ("Cudd_IsInHook" #.(swig-lispify "Cudd_IsInHook" 'function)) :int - (dd :pointer) - (f :pointer) - (where #.(swig-lispify "Cudd_HookType" 'enumname))) - -(cl:export '#.(swig-lispify "Cudd_IsInHook" 'function)) - -(cffi:defcfun ("Cudd_StdPreReordHook" #.(swig-lispify "Cudd_StdPreReordHook" 'function)) :int - (dd :pointer) - (str :string) - (data :pointer)) - -(cl:export '#.(swig-lispify "Cudd_StdPreReordHook" 'function)) - -(cffi:defcfun ("Cudd_StdPostReordHook" #.(swig-lispify "Cudd_StdPostReordHook" 'function)) :int - (dd :pointer) - (str :string) - (data :pointer)) - -(cl:export '#.(swig-lispify "Cudd_StdPostReordHook" 'function)) - -(cffi:defcfun ("Cudd_EnableReorderingReporting" #.(swig-lispify "Cudd_EnableReorderingReporting" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_EnableReorderingReporting" 'function)) - -(cffi:defcfun ("Cudd_DisableReorderingReporting" #.(swig-lispify "Cudd_DisableReorderingReporting" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DisableReorderingReporting" 'function)) - -(cffi:defcfun ("Cudd_ReorderingReporting" #.(swig-lispify "Cudd_ReorderingReporting" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReorderingReporting" 'function)) - -(cffi:defcfun ("Cudd_PrintGroupedOrder" #.(swig-lispify "Cudd_PrintGroupedOrder" 'function)) :int - (dd :pointer) - (str :string) - (data :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrintGroupedOrder" 'function)) - -(cffi:defcfun ("Cudd_EnableOrderingMonitoring" #.(swig-lispify "Cudd_EnableOrderingMonitoring" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_EnableOrderingMonitoring" 'function)) - -(cffi:defcfun ("Cudd_DisableOrderingMonitoring" #.(swig-lispify "Cudd_DisableOrderingMonitoring" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DisableOrderingMonitoring" 'function)) - -(cffi:defcfun ("Cudd_OrderingMonitoring" #.(swig-lispify "Cudd_OrderingMonitoring" 'function)) :int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_OrderingMonitoring" 'function)) - -(cffi:defcfun ("Cudd_SetApplicationHook" #.(swig-lispify "Cudd_SetApplicationHook" 'function)) :void - (dd :pointer) - (value :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SetApplicationHook" 'function)) - -(cffi:defcfun ("Cudd_ReadApplicationHook" #.(swig-lispify "Cudd_ReadApplicationHook" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadApplicationHook" 'function)) - -(cffi:defcfun ("Cudd_ReadErrorCode" #.(swig-lispify "Cudd_ReadErrorCode" 'function)) #.(swig-lispify "Cudd_ErrorType" 'enumname) - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadErrorCode" 'function)) - -(cffi:defcfun ("Cudd_ClearErrorCode" #.(swig-lispify "Cudd_ClearErrorCode" 'function)) :void - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ClearErrorCode" 'function)) - -(cffi:defcfun ("Cudd_InstallOutOfMemoryHandler" #.(swig-lispify "Cudd_InstallOutOfMemoryHandler" 'function)) :pointer - (newHandler :pointer)) - -(cl:export '#.(swig-lispify "Cudd_InstallOutOfMemoryHandler" 'function)) - -(cffi:defcfun ("Cudd_ReadStdout" #.(swig-lispify "Cudd_ReadStdout" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadStdout" 'function)) - -(cffi:defcfun ("Cudd_SetStdout" #.(swig-lispify "Cudd_SetStdout" 'function)) :void - (dd :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SetStdout" 'function)) - -(cffi:defcfun ("Cudd_ReadStderr" #.(swig-lispify "Cudd_ReadStderr" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadStderr" 'function)) - -(cffi:defcfun ("Cudd_SetStderr" #.(swig-lispify "Cudd_SetStderr" 'function)) :void - (dd :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SetStderr" 'function)) - -(cffi:defcfun ("Cudd_ReadNextReordering" #.(swig-lispify "Cudd_ReadNextReordering" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadNextReordering" 'function)) - -(cffi:defcfun ("Cudd_SetNextReordering" #.(swig-lispify "Cudd_SetNextReordering" 'function)) :void - (dd :pointer) - (next :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetNextReordering" 'function)) - -(cffi:defcfun ("Cudd_ReadSwapSteps" #.(swig-lispify "Cudd_ReadSwapSteps" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadSwapSteps" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxLive" #.(swig-lispify "Cudd_ReadMaxLive" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxLive" 'function)) - -(cffi:defcfun ("Cudd_SetMaxLive" #.(swig-lispify "Cudd_SetMaxLive" 'function)) :void - (dd :pointer) - (maxLive :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetMaxLive" 'function)) - -(cffi:defcfun ("Cudd_ReadMaxMemory" #.(swig-lispify "Cudd_ReadMaxMemory" 'function)) :unsigned-int - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadMaxMemory" 'function)) - -(cffi:defcfun ("Cudd_SetMaxMemory" #.(swig-lispify "Cudd_SetMaxMemory" 'function)) :unsigned-int - (dd :pointer) - (maxMemory :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_SetMaxMemory" 'function)) - -(cffi:defcfun ("Cudd_bddBindVar" #.(swig-lispify "Cudd_bddBindVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddBindVar" 'function)) - -(cffi:defcfun ("Cudd_bddUnbindVar" #.(swig-lispify "Cudd_bddUnbindVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddUnbindVar" 'function)) - -(cffi:defcfun ("Cudd_bddVarIsBound" #.(swig-lispify "Cudd_bddVarIsBound" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddVarIsBound" 'function)) - -(cffi:defcfun ("Cudd_addExistAbstract" #.(swig-lispify "Cudd_addExistAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addExistAbstract" 'function)) - -(cffi:defcfun ("Cudd_addUnivAbstract" #.(swig-lispify "Cudd_addUnivAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addUnivAbstract" 'function)) - -(cffi:defcfun ("Cudd_addOrAbstract" #.(swig-lispify "Cudd_addOrAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addOrAbstract" 'function)) - -(cffi:defcfun ("Cudd_addApply" #.(swig-lispify "Cudd_addApply" 'function)) :pointer - (dd :pointer) - (op :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addApply" 'function)) - -(cffi:defcfun ("Cudd_addPlus" #.(swig-lispify "Cudd_addPlus" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addPlus" 'function)) - -(cffi:defcfun ("Cudd_addTimes" #.(swig-lispify "Cudd_addTimes" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addTimes" 'function)) - -(cffi:defcfun ("Cudd_addThreshold" #.(swig-lispify "Cudd_addThreshold" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addThreshold" 'function)) - -(cffi:defcfun ("Cudd_addSetNZ" #.(swig-lispify "Cudd_addSetNZ" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addSetNZ" 'function)) - -(cffi:defcfun ("Cudd_addDivide" #.(swig-lispify "Cudd_addDivide" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addDivide" 'function)) - -(cffi:defcfun ("Cudd_addMinus" #.(swig-lispify "Cudd_addMinus" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addMinus" 'function)) - -(cffi:defcfun ("Cudd_addMinimum" #.(swig-lispify "Cudd_addMinimum" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addMinimum" 'function)) - -(cffi:defcfun ("Cudd_addMaximum" #.(swig-lispify "Cudd_addMaximum" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addMaximum" 'function)) - -(cffi:defcfun ("Cudd_addOneZeroMaximum" #.(swig-lispify "Cudd_addOneZeroMaximum" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addOneZeroMaximum" 'function)) - -(cffi:defcfun ("Cudd_addDiff" #.(swig-lispify "Cudd_addDiff" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addDiff" 'function)) - -(cffi:defcfun ("Cudd_addAgreement" #.(swig-lispify "Cudd_addAgreement" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addAgreement" 'function)) - -(cffi:defcfun ("Cudd_addOr" #.(swig-lispify "Cudd_addOr" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addOr" 'function)) - -(cffi:defcfun ("Cudd_addNand" #.(swig-lispify "Cudd_addNand" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addNand" 'function)) - -(cffi:defcfun ("Cudd_addNor" #.(swig-lispify "Cudd_addNor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addNor" 'function)) - -(cffi:defcfun ("Cudd_addXor" #.(swig-lispify "Cudd_addXor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addXor" 'function)) - -(cffi:defcfun ("Cudd_addXnor" #.(swig-lispify "Cudd_addXnor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addXnor" 'function)) - -(cffi:defcfun ("Cudd_addMonadicApply" #.(swig-lispify "Cudd_addMonadicApply" 'function)) :pointer - (dd :pointer) - (op :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addMonadicApply" 'function)) - -(cffi:defcfun ("Cudd_addLog" #.(swig-lispify "Cudd_addLog" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addLog" 'function)) - -(cffi:defcfun ("Cudd_addFindMax" #.(swig-lispify "Cudd_addFindMax" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addFindMax" 'function)) - -(cffi:defcfun ("Cudd_addFindMin" #.(swig-lispify "Cudd_addFindMin" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addFindMin" 'function)) - -(cffi:defcfun ("Cudd_addIthBit" #.(swig-lispify "Cudd_addIthBit" 'function)) :pointer - (dd :pointer) - (f :pointer) - (bit :int)) - -(cl:export '#.(swig-lispify "Cudd_addIthBit" 'function)) - -(cffi:defcfun ("Cudd_addScalarInverse" #.(swig-lispify "Cudd_addScalarInverse" 'function)) :pointer - (dd :pointer) - (f :pointer) - (epsilon :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addScalarInverse" 'function)) - -(cffi:defcfun ("Cudd_addIte" #.(swig-lispify "Cudd_addIte" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (h :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addIte" 'function)) - -(cffi:defcfun ("Cudd_addIteConstant" #.(swig-lispify "Cudd_addIteConstant" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (h :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addIteConstant" 'function)) - -(cffi:defcfun ("Cudd_addEvalConst" #.(swig-lispify "Cudd_addEvalConst" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addEvalConst" 'function)) - -(cffi:defcfun ("Cudd_addLeq" #.(swig-lispify "Cudd_addLeq" 'function)) :int - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addLeq" 'function)) - -(cffi:defcfun ("Cudd_addCmpl" #.(swig-lispify "Cudd_addCmpl" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addCmpl" 'function)) - -(cffi:defcfun ("Cudd_addNegate" #.(swig-lispify "Cudd_addNegate" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addNegate" 'function)) - -(cffi:defcfun ("Cudd_addRoundOff" #.(swig-lispify "Cudd_addRoundOff" 'function)) :pointer - (dd :pointer) - (f :pointer) - (N :int)) - -(cl:export '#.(swig-lispify "Cudd_addRoundOff" 'function)) - -(cffi:defcfun ("Cudd_addWalsh" #.(swig-lispify "Cudd_addWalsh" 'function)) :pointer - (dd :pointer) - (x :pointer) - (y :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_addWalsh" 'function)) - -(cffi:defcfun ("Cudd_addResidue" #.(swig-lispify "Cudd_addResidue" 'function)) :pointer - (dd :pointer) - (n :int) - (m :int) - (options :int) - (top :int)) - -(cl:export '#.(swig-lispify "Cudd_addResidue" 'function)) - -(cffi:defcfun ("Cudd_bddAndAbstract" #.(swig-lispify "Cudd_bddAndAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (g :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddAndAbstract" 'function)) - -(cffi:defcfun ("Cudd_bddAndAbstractLimit" #.(swig-lispify "Cudd_bddAndAbstractLimit" 'function)) :pointer - (manager :pointer) - (f :pointer) - (g :pointer) - (cube :pointer) - (limit :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddAndAbstractLimit" 'function)) - -(cffi:defcfun ("Cudd_ApaNumberOfDigits" #.(swig-lispify "Cudd_ApaNumberOfDigits" 'function)) :int - (binaryDigits :int)) - -(cl:export '#.(swig-lispify "Cudd_ApaNumberOfDigits" 'function)) - -(cffi:defcfun ("Cudd_NewApaNumber" #.(swig-lispify "Cudd_NewApaNumber" 'function)) :pointer - (digits :int)) - -(cl:export '#.(swig-lispify "Cudd_NewApaNumber" 'function)) - -(cffi:defcfun ("Cudd_FreeApaNumber" #.(swig-lispify "Cudd_FreeApaNumber" 'function)) :void - (number :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FreeApaNumber" 'function)) - -(cffi:defcfun ("Cudd_ApaCopy" #.(swig-lispify "Cudd_ApaCopy" 'function)) :void - (digits :int) - (source :pointer) - (dest :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaCopy" 'function)) - -(cffi:defcfun ("Cudd_ApaAdd" #.(swig-lispify "Cudd_ApaAdd" 'function)) :pointer - (digits :int) - (a :pointer) - (b :pointer) - (sum :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaAdd" 'function)) - -(cffi:defcfun ("Cudd_ApaSubtract" #.(swig-lispify "Cudd_ApaSubtract" 'function)) :pointer - (digits :int) - (a :pointer) - (b :pointer) - (diff :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaSubtract" 'function)) - -(cffi:defcfun ("Cudd_ApaShortDivision" #.(swig-lispify "Cudd_ApaShortDivision" 'function)) :pointer - (digits :int) - (dividend :pointer) - (divisor :pointer) - (quotient :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaShortDivision" 'function)) - -(cffi:defcfun ("Cudd_ApaIntDivision" #.(swig-lispify "Cudd_ApaIntDivision" 'function)) :unsigned-int - (digits :int) - (dividend :pointer) - (divisor :unsigned-int) - (quotient :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaIntDivision" 'function)) - -(cffi:defcfun ("Cudd_ApaShiftRight" #.(swig-lispify "Cudd_ApaShiftRight" 'function)) :void - (digits :int) - (in :pointer) - (a :pointer) - (b :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaShiftRight" 'function)) - -(cffi:defcfun ("Cudd_ApaSetToLiteral" #.(swig-lispify "Cudd_ApaSetToLiteral" 'function)) :void - (digits :int) - (number :pointer) - (literal :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaSetToLiteral" 'function)) - -(cffi:defcfun ("Cudd_ApaPowerOfTwo" #.(swig-lispify "Cudd_ApaPowerOfTwo" 'function)) :void - (digits :int) - (number :pointer) - (power :int)) - -(cl:export '#.(swig-lispify "Cudd_ApaPowerOfTwo" 'function)) - -(cffi:defcfun ("Cudd_ApaCompare" #.(swig-lispify "Cudd_ApaCompare" 'function)) :int - (digitsFirst :int) - (first :pointer) - (digitsSecond :int) - (second :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaCompare" 'function)) - -(cffi:defcfun ("Cudd_ApaCompareRatios" #.(swig-lispify "Cudd_ApaCompareRatios" 'function)) :int - (digitsFirst :int) - (firstNum :pointer) - (firstDen :unsigned-int) - (digitsSecond :int) - (secondNum :pointer) - (secondDen :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_ApaCompareRatios" 'function)) - -(cffi:defcfun ("Cudd_ApaPrintHex" #.(swig-lispify "Cudd_ApaPrintHex" 'function)) :int - (fp :pointer) - (digits :int) - (number :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaPrintHex" 'function)) - -(cffi:defcfun ("Cudd_ApaPrintDecimal" #.(swig-lispify "Cudd_ApaPrintDecimal" 'function)) :int - (fp :pointer) - (digits :int) - (number :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaPrintDecimal" 'function)) - -(cffi:defcfun ("Cudd_ApaStringDecimal" #.(swig-lispify "Cudd_ApaStringDecimal" 'function)) :string - (digits :int) - (number :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaStringDecimal" 'function)) - -(cffi:defcfun ("Cudd_ApaPrintExponential" #.(swig-lispify "Cudd_ApaPrintExponential" 'function)) :int - (fp :pointer) - (digits :int) - (number :pointer) - (precision :int)) - -(cl:export '#.(swig-lispify "Cudd_ApaPrintExponential" 'function)) - -(cffi:defcfun ("Cudd_ApaCountMinterm" #.(swig-lispify "Cudd_ApaCountMinterm" 'function)) :pointer - (manager :pointer) - (node :pointer) - (nvars :int) - (digits :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ApaCountMinterm" 'function)) - -(cffi:defcfun ("Cudd_ApaPrintMinterm" #.(swig-lispify "Cudd_ApaPrintMinterm" 'function)) :int - (fp :pointer) - (dd :pointer) - (node :pointer) - (nvars :int)) - -(cl:export '#.(swig-lispify "Cudd_ApaPrintMinterm" 'function)) - -(cffi:defcfun ("Cudd_ApaPrintMintermExp" #.(swig-lispify "Cudd_ApaPrintMintermExp" 'function)) :int - (fp :pointer) - (dd :pointer) - (node :pointer) - (nvars :int) - (precision :int)) - -(cl:export '#.(swig-lispify "Cudd_ApaPrintMintermExp" 'function)) - -(cffi:defcfun ("Cudd_ApaPrintDensity" #.(swig-lispify "Cudd_ApaPrintDensity" 'function)) :int - (fp :pointer) - (dd :pointer) - (node :pointer) - (nvars :int)) - -(cl:export '#.(swig-lispify "Cudd_ApaPrintDensity" 'function)) - -(cffi:defcfun ("Cudd_UnderApprox" #.(swig-lispify "Cudd_UnderApprox" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int) - (safe :int) - (quality :double)) - -(cl:export '#.(swig-lispify "Cudd_UnderApprox" 'function)) - -(cffi:defcfun ("Cudd_OverApprox" #.(swig-lispify "Cudd_OverApprox" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int) - (safe :int) - (quality :double)) - -(cl:export '#.(swig-lispify "Cudd_OverApprox" 'function)) - -(cffi:defcfun ("Cudd_RemapUnderApprox" #.(swig-lispify "Cudd_RemapUnderApprox" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int) - (quality :double)) - -(cl:export '#.(swig-lispify "Cudd_RemapUnderApprox" 'function)) - -(cffi:defcfun ("Cudd_RemapOverApprox" #.(swig-lispify "Cudd_RemapOverApprox" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int) - (quality :double)) - -(cl:export '#.(swig-lispify "Cudd_RemapOverApprox" 'function)) - -(cffi:defcfun ("Cudd_BiasedUnderApprox" #.(swig-lispify "Cudd_BiasedUnderApprox" 'function)) :pointer - (dd :pointer) - (f :pointer) - (b :pointer) - (numVars :int) - (threshold :int) - (quality1 :double) - (quality0 :double)) - -(cl:export '#.(swig-lispify "Cudd_BiasedUnderApprox" 'function)) - -(cffi:defcfun ("Cudd_BiasedOverApprox" #.(swig-lispify "Cudd_BiasedOverApprox" 'function)) :pointer - (dd :pointer) - (f :pointer) - (b :pointer) - (numVars :int) - (threshold :int) - (quality1 :double) - (quality0 :double)) - -(cl:export '#.(swig-lispify "Cudd_BiasedOverApprox" 'function)) - -(cffi:defcfun ("Cudd_bddExistAbstract" #.(swig-lispify "Cudd_bddExistAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddExistAbstract" 'function)) - -(cffi:defcfun ("Cudd_bddExistAbstractLimit" #.(swig-lispify "Cudd_bddExistAbstractLimit" 'function)) :pointer - (manager :pointer) - (f :pointer) - (cube :pointer) - (limit :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddExistAbstractLimit" 'function)) - -(cffi:defcfun ("Cudd_bddXorExistAbstract" #.(swig-lispify "Cudd_bddXorExistAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (g :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddXorExistAbstract" 'function)) - -(cffi:defcfun ("Cudd_bddUnivAbstract" #.(swig-lispify "Cudd_bddUnivAbstract" 'function)) :pointer - (manager :pointer) - (f :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddUnivAbstract" 'function)) - -(cffi:defcfun ("Cudd_bddBooleanDiff" #.(swig-lispify "Cudd_bddBooleanDiff" 'function)) :pointer - (manager :pointer) - (f :pointer) - (x :int)) - -(cl:export '#.(swig-lispify "Cudd_bddBooleanDiff" 'function)) - -(cffi:defcfun ("Cudd_bddVarIsDependent" #.(swig-lispify "Cudd_bddVarIsDependent" 'function)) :int - (dd :pointer) - (f :pointer) - (var :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddVarIsDependent" 'function)) - -(cffi:defcfun ("Cudd_bddCorrelation" #.(swig-lispify "Cudd_bddCorrelation" 'function)) :double - (manager :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddCorrelation" 'function)) - -(cffi:defcfun ("Cudd_bddCorrelationWeights" #.(swig-lispify "Cudd_bddCorrelationWeights" 'function)) :double - (manager :pointer) - (f :pointer) - (g :pointer) - (prob :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddCorrelationWeights" 'function)) - -(cffi:defcfun ("Cudd_bddIte" #.(swig-lispify "Cudd_bddIte" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (h :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIte" 'function)) - -(cffi:defcfun ("Cudd_bddIteLimit" #.(swig-lispify "Cudd_bddIteLimit" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (h :pointer) - (limit :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddIteLimit" 'function)) - -(cffi:defcfun ("Cudd_bddIteConstant" #.(swig-lispify "Cudd_bddIteConstant" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (h :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIteConstant" 'function)) - -(cffi:defcfun ("Cudd_bddIntersect" #.(swig-lispify "Cudd_bddIntersect" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIntersect" 'function)) - -(cffi:defcfun ("Cudd_bddAnd" #.(swig-lispify "Cudd_bddAnd" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddAnd" 'function)) - -(cffi:defcfun ("Cudd_bddAndLimit" #.(swig-lispify "Cudd_bddAndLimit" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (limit :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddAndLimit" 'function)) - -(cffi:defcfun ("Cudd_bddOr" #.(swig-lispify "Cudd_bddOr" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddOr" 'function)) - -(cffi:defcfun ("Cudd_bddOrLimit" #.(swig-lispify "Cudd_bddOrLimit" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (limit :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddOrLimit" 'function)) - -(cffi:defcfun ("Cudd_bddNand" #.(swig-lispify "Cudd_bddNand" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddNand" 'function)) - -(cffi:defcfun ("Cudd_bddNor" #.(swig-lispify "Cudd_bddNor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddNor" 'function)) - -(cffi:defcfun ("Cudd_bddXor" #.(swig-lispify "Cudd_bddXor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddXor" 'function)) - -(cffi:defcfun ("Cudd_bddXnor" #.(swig-lispify "Cudd_bddXnor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddXnor" 'function)) - -(cffi:defcfun ("Cudd_bddXnorLimit" #.(swig-lispify "Cudd_bddXnorLimit" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (limit :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddXnorLimit" 'function)) - -(cffi:defcfun ("Cudd_bddLeq" #.(swig-lispify "Cudd_bddLeq" 'function)) :int - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddLeq" 'function)) - -(cffi:defcfun ("Cudd_addBddThreshold" #.(swig-lispify "Cudd_addBddThreshold" 'function)) :pointer - (dd :pointer) - (f :pointer) - (value :double)) - -(cl:export '#.(swig-lispify "Cudd_addBddThreshold" 'function)) - -(cffi:defcfun ("Cudd_addBddStrictThreshold" #.(swig-lispify "Cudd_addBddStrictThreshold" 'function)) :pointer - (dd :pointer) - (f :pointer) - (value :double)) - -(cl:export '#.(swig-lispify "Cudd_addBddStrictThreshold" 'function)) - -(cffi:defcfun ("Cudd_addBddInterval" #.(swig-lispify "Cudd_addBddInterval" 'function)) :pointer - (dd :pointer) - (f :pointer) - (lower :double) - (upper :double)) - -(cl:export '#.(swig-lispify "Cudd_addBddInterval" 'function)) - -(cffi:defcfun ("Cudd_addBddIthBit" #.(swig-lispify "Cudd_addBddIthBit" 'function)) :pointer - (dd :pointer) - (f :pointer) - (bit :int)) - -(cl:export '#.(swig-lispify "Cudd_addBddIthBit" 'function)) - -(cffi:defcfun ("Cudd_BddToAdd" #.(swig-lispify "Cudd_BddToAdd" 'function)) :pointer - (dd :pointer) - (B :pointer)) - -(cl:export '#.(swig-lispify "Cudd_BddToAdd" 'function)) - -(cffi:defcfun ("Cudd_addBddPattern" #.(swig-lispify "Cudd_addBddPattern" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addBddPattern" 'function)) - -(cffi:defcfun ("Cudd_bddTransfer" #.(swig-lispify "Cudd_bddTransfer" 'function)) :pointer - (ddSource :pointer) - (ddDestination :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddTransfer" 'function)) - -(cffi:defcfun ("Cudd_DebugCheck" #.(swig-lispify "Cudd_DebugCheck" 'function)) :int - (table :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DebugCheck" 'function)) - -(cffi:defcfun ("Cudd_CheckKeys" #.(swig-lispify "Cudd_CheckKeys" 'function)) :int - (table :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CheckKeys" 'function)) - -(cffi:defcfun ("Cudd_bddClippingAnd" #.(swig-lispify "Cudd_bddClippingAnd" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (maxDepth :int) - (direction :int)) - -(cl:export '#.(swig-lispify "Cudd_bddClippingAnd" 'function)) - -(cffi:defcfun ("Cudd_bddClippingAndAbstract" #.(swig-lispify "Cudd_bddClippingAndAbstract" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (cube :pointer) - (maxDepth :int) - (direction :int)) - -(cl:export '#.(swig-lispify "Cudd_bddClippingAndAbstract" 'function)) - -(cffi:defcfun ("Cudd_Cofactor" #.(swig-lispify "Cudd_Cofactor" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Cofactor" 'function)) - -(cffi:defcfun ("Cudd_CheckCube" #.(swig-lispify "Cudd_CheckCube" 'function)) :int - (dd :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CheckCube" 'function)) - -(cffi:defcfun ("Cudd_VarsAreSymmetric" #.(swig-lispify "Cudd_VarsAreSymmetric" 'function)) :int - (dd :pointer) - (f :pointer) - (index1 :int) - (index2 :int)) - -(cl:export '#.(swig-lispify "Cudd_VarsAreSymmetric" 'function)) - -(cffi:defcfun ("Cudd_bddCompose" #.(swig-lispify "Cudd_bddCompose" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (v :int)) - -(cl:export '#.(swig-lispify "Cudd_bddCompose" 'function)) - -(cffi:defcfun ("Cudd_addCompose" #.(swig-lispify "Cudd_addCompose" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (v :int)) - -(cl:export '#.(swig-lispify "Cudd_addCompose" 'function)) - -(cffi:defcfun ("Cudd_addPermute" #.(swig-lispify "Cudd_addPermute" 'function)) :pointer - (manager :pointer) - (node :pointer) - (permut :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addPermute" 'function)) - -(cffi:defcfun ("Cudd_addSwapVariables" #.(swig-lispify "Cudd_addSwapVariables" 'function)) :pointer - (dd :pointer) - (f :pointer) - (x :pointer) - (y :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_addSwapVariables" 'function)) - -(cffi:defcfun ("Cudd_bddPermute" #.(swig-lispify "Cudd_bddPermute" 'function)) :pointer - (manager :pointer) - (node :pointer) - (permut :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddPermute" 'function)) - -(cffi:defcfun ("Cudd_bddVarMap" #.(swig-lispify "Cudd_bddVarMap" 'function)) :pointer - (manager :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddVarMap" 'function)) - -(cffi:defcfun ("Cudd_SetVarMap" #.(swig-lispify "Cudd_SetVarMap" 'function)) :int - (manager :pointer) - (x :pointer) - (y :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_SetVarMap" 'function)) - -(cffi:defcfun ("Cudd_bddSwapVariables" #.(swig-lispify "Cudd_bddSwapVariables" 'function)) :pointer - (dd :pointer) - (f :pointer) - (x :pointer) - (y :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSwapVariables" 'function)) - -(cffi:defcfun ("Cudd_bddAdjPermuteX" #.(swig-lispify "Cudd_bddAdjPermuteX" 'function)) :pointer - (dd :pointer) - (B :pointer) - (x :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_bddAdjPermuteX" 'function)) - -(cffi:defcfun ("Cudd_addVectorCompose" #.(swig-lispify "Cudd_addVectorCompose" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vector :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addVectorCompose" 'function)) - -(cffi:defcfun ("Cudd_addGeneralVectorCompose" #.(swig-lispify "Cudd_addGeneralVectorCompose" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vectorOn :pointer) - (vectorOff :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addGeneralVectorCompose" 'function)) - -(cffi:defcfun ("Cudd_addNonSimCompose" #.(swig-lispify "Cudd_addNonSimCompose" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vector :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addNonSimCompose" 'function)) - -(cffi:defcfun ("Cudd_bddVectorCompose" #.(swig-lispify "Cudd_bddVectorCompose" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vector :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddVectorCompose" 'function)) - -(cffi:defcfun ("Cudd_bddApproxConjDecomp" #.(swig-lispify "Cudd_bddApproxConjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (conjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddApproxConjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddApproxDisjDecomp" #.(swig-lispify "Cudd_bddApproxDisjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (disjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddApproxDisjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddIterConjDecomp" #.(swig-lispify "Cudd_bddIterConjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (conjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIterConjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddIterDisjDecomp" #.(swig-lispify "Cudd_bddIterDisjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (disjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIterDisjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddGenConjDecomp" #.(swig-lispify "Cudd_bddGenConjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (conjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddGenConjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddGenDisjDecomp" #.(swig-lispify "Cudd_bddGenDisjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (disjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddGenDisjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddVarConjDecomp" #.(swig-lispify "Cudd_bddVarConjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (conjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddVarConjDecomp" 'function)) - -(cffi:defcfun ("Cudd_bddVarDisjDecomp" #.(swig-lispify "Cudd_bddVarDisjDecomp" 'function)) :int - (dd :pointer) - (f :pointer) - (disjuncts :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddVarDisjDecomp" 'function)) - -(cffi:defcfun ("Cudd_FindEssential" #.(swig-lispify "Cudd_FindEssential" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FindEssential" 'function)) - -(cffi:defcfun ("Cudd_bddIsVarEssential" #.(swig-lispify "Cudd_bddIsVarEssential" 'function)) :int - (manager :pointer) - (f :pointer) - (id :int) - (phase :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsVarEssential" 'function)) - -(cffi:defcfun ("Cudd_FindTwoLiteralClauses" #.(swig-lispify "Cudd_FindTwoLiteralClauses" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FindTwoLiteralClauses" 'function)) - -(cffi:defcfun ("Cudd_PrintTwoLiteralClauses" #.(swig-lispify "Cudd_PrintTwoLiteralClauses" 'function)) :int - (dd :pointer) - (f :pointer) - (names :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrintTwoLiteralClauses" 'function)) - -(cffi:defcfun ("Cudd_ReadIthClause" #.(swig-lispify "Cudd_ReadIthClause" 'function)) :int - (tlc :pointer) - (i :int) - (var1 :pointer) - (var2 :pointer) - (phase1 :pointer) - (phase2 :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ReadIthClause" 'function)) - -(cffi:defcfun ("Cudd_tlcInfoFree" #.(swig-lispify "Cudd_tlcInfoFree" 'function)) :void - (t_arg0 :pointer)) - -(cl:export '#.(swig-lispify "Cudd_tlcInfoFree" 'function)) - -(cffi:defcfun ("Cudd_DumpBlif" #.(swig-lispify "Cudd_DumpBlif" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (mname :string) - (fp :pointer) - (mv :int)) - -(cl:export '#.(swig-lispify "Cudd_DumpBlif" 'function)) - -(cffi:defcfun ("Cudd_DumpBlifBody" #.(swig-lispify "Cudd_DumpBlifBody" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (fp :pointer) - (mv :int)) - -(cl:export '#.(swig-lispify "Cudd_DumpBlifBody" 'function)) - -(cffi:defcfun ("Cudd_DumpDot" #.(swig-lispify "Cudd_DumpDot" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DumpDot" 'function)) - -(cffi:defcfun ("Cudd_DumpDaVinci" #.(swig-lispify "Cudd_DumpDaVinci" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DumpDaVinci" 'function)) - -(cffi:defcfun ("Cudd_DumpDDcal" #.(swig-lispify "Cudd_DumpDDcal" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DumpDDcal" 'function)) - -(cffi:defcfun ("Cudd_DumpFactoredForm" #.(swig-lispify "Cudd_DumpFactoredForm" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DumpFactoredForm" 'function)) - -(cffi:defcfun ("Cudd_FactoredFormString" #.(swig-lispify "Cudd_FactoredFormString" 'function)) :string - (dd :pointer) - (f :pointer) - (inames :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FactoredFormString" 'function)) - -(cffi:defcfun ("Cudd_bddConstrain" #.(swig-lispify "Cudd_bddConstrain" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddConstrain" 'function)) - -(cffi:defcfun ("Cudd_bddRestrict" #.(swig-lispify "Cudd_bddRestrict" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddRestrict" 'function)) - -(cffi:defcfun ("Cudd_bddNPAnd" #.(swig-lispify "Cudd_bddNPAnd" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddNPAnd" 'function)) - -(cffi:defcfun ("Cudd_addConstrain" #.(swig-lispify "Cudd_addConstrain" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addConstrain" 'function)) - -(cffi:defcfun ("Cudd_bddConstrainDecomp" #.(swig-lispify "Cudd_bddConstrainDecomp" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddConstrainDecomp" 'function)) - -(cffi:defcfun ("Cudd_addRestrict" #.(swig-lispify "Cudd_addRestrict" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addRestrict" 'function)) - -(cffi:defcfun ("Cudd_bddCharToVect" #.(swig-lispify "Cudd_bddCharToVect" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddCharToVect" 'function)) - -(cffi:defcfun ("Cudd_bddLICompaction" #.(swig-lispify "Cudd_bddLICompaction" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddLICompaction" 'function)) - -(cffi:defcfun ("Cudd_bddSqueeze" #.(swig-lispify "Cudd_bddSqueeze" 'function)) :pointer - (dd :pointer) - (l :pointer) - (u :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddSqueeze" 'function)) - -(cffi:defcfun ("Cudd_bddInterpolate" #.(swig-lispify "Cudd_bddInterpolate" 'function)) :pointer - (dd :pointer) - (l :pointer) - (u :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddInterpolate" 'function)) - -(cffi:defcfun ("Cudd_bddMinimize" #.(swig-lispify "Cudd_bddMinimize" 'function)) :pointer - (dd :pointer) - (f :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddMinimize" 'function)) - -(cffi:defcfun ("Cudd_SubsetCompress" #.(swig-lispify "Cudd_SubsetCompress" 'function)) :pointer - (dd :pointer) - (f :pointer) - (nvars :int) - (threshold :int)) - -(cl:export '#.(swig-lispify "Cudd_SubsetCompress" 'function)) - -(cffi:defcfun ("Cudd_SupersetCompress" #.(swig-lispify "Cudd_SupersetCompress" 'function)) :pointer - (dd :pointer) - (f :pointer) - (nvars :int) - (threshold :int)) - -(cl:export '#.(swig-lispify "Cudd_SupersetCompress" 'function)) - -(cffi:defcfun ("Cudd_addHarwell" #.(swig-lispify "Cudd_addHarwell" 'function)) :int - (fp :pointer) - (dd :pointer) - (E :pointer) - (x :pointer) - (y :pointer) - (xn :pointer) - (yn_ :pointer) - (nx :pointer) - (ny :pointer) - (m :pointer) - (n :pointer) - (bx :int) - (sx :int) - (by :int) - (sy :int) - (pr :int)) - -(cl:export '#.(swig-lispify "Cudd_addHarwell" 'function)) - -(cffi:defcfun ("Cudd_Init" #.(swig-lispify "Cudd_Init" 'function)) :pointer - (numVars :unsigned-int) - (numVarsZ :unsigned-int) - (numSlots :unsigned-int) - (cacheSize :unsigned-int) - (maxMemory :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_Init" 'function)) - -(cffi:defcfun ("Cudd_Quit" #.(swig-lispify "Cudd_Quit" 'function)) :void - (unique :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Quit" 'function)) - -(cffi:defcfun ("Cudd_PrintLinear" #.(swig-lispify "Cudd_PrintLinear" 'function)) :int - (table :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrintLinear" 'function)) - -(cffi:defcfun ("Cudd_ReadLinear" #.(swig-lispify "Cudd_ReadLinear" 'function)) :int - (table :pointer) - (x :int) - (y :int)) - -(cl:export '#.(swig-lispify "Cudd_ReadLinear" 'function)) - -(cffi:defcfun ("Cudd_bddLiteralSetIntersection" #.(swig-lispify "Cudd_bddLiteralSetIntersection" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddLiteralSetIntersection" 'function)) - -(cffi:defcfun ("Cudd_addMatrixMultiply" #.(swig-lispify "Cudd_addMatrixMultiply" 'function)) :pointer - (dd :pointer) - (A :pointer) - (B :pointer) - (z :pointer) - (nz :int)) - -(cl:export '#.(swig-lispify "Cudd_addMatrixMultiply" 'function)) - -(cffi:defcfun ("Cudd_addTimesPlus" #.(swig-lispify "Cudd_addTimesPlus" 'function)) :pointer - (dd :pointer) - (A :pointer) - (B :pointer) - (z :pointer) - (nz :int)) - -(cl:export '#.(swig-lispify "Cudd_addTimesPlus" 'function)) - -(cffi:defcfun ("Cudd_addTriangle" #.(swig-lispify "Cudd_addTriangle" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (z :pointer) - (nz :int)) - -(cl:export '#.(swig-lispify "Cudd_addTriangle" 'function)) - -(cffi:defcfun ("Cudd_addOuterSum" #.(swig-lispify "Cudd_addOuterSum" 'function)) :pointer - (dd :pointer) - (M :pointer) - (r :pointer) - (c :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addOuterSum" 'function)) - -(cffi:defcfun ("Cudd_PrioritySelect" #.(swig-lispify "Cudd_PrioritySelect" 'function)) :pointer - (dd :pointer) - (R :pointer) - (x :pointer) - (y :pointer) - (z :pointer) - (Pi :pointer) - (n :int) - (PiFunc :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrioritySelect" 'function)) - -(cffi:defcfun ("Cudd_Xgty" #.(swig-lispify "Cudd_Xgty" 'function)) :pointer - (dd :pointer) - (N :int) - (z :pointer) - (x :pointer) - (y :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Xgty" 'function)) - -(cffi:defcfun ("Cudd_Xeqy" #.(swig-lispify "Cudd_Xeqy" 'function)) :pointer - (dd :pointer) - (N :int) - (x :pointer) - (y :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Xeqy" 'function)) - -(cffi:defcfun ("Cudd_addXeqy" #.(swig-lispify "Cudd_addXeqy" 'function)) :pointer - (dd :pointer) - (N :int) - (x :pointer) - (y :pointer)) - -(cl:export '#.(swig-lispify "Cudd_addXeqy" 'function)) - -(cffi:defcfun ("Cudd_Dxygtdxz" #.(swig-lispify "Cudd_Dxygtdxz" 'function)) :pointer - (dd :pointer) - (N :int) - (x :pointer) - (y :pointer) - (z :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Dxygtdxz" 'function)) - -(cffi:defcfun ("Cudd_Dxygtdyz" #.(swig-lispify "Cudd_Dxygtdyz" 'function)) :pointer - (dd :pointer) - (N :int) - (x :pointer) - (y :pointer) - (z :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Dxygtdyz" 'function)) - -(cffi:defcfun ("Cudd_Inequality" #.(swig-lispify "Cudd_Inequality" 'function)) :pointer - (dd :pointer) - (N :int) - (c :int) - (x :pointer) - (y :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Inequality" 'function)) - -(cffi:defcfun ("Cudd_Disequality" #.(swig-lispify "Cudd_Disequality" 'function)) :pointer - (dd :pointer) - (N :int) - (c :int) - (x :pointer) - (y :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Disequality" 'function)) - -(cffi:defcfun ("Cudd_bddInterval" #.(swig-lispify "Cudd_bddInterval" 'function)) :pointer - (dd :pointer) - (N :int) - (x :pointer) - (lowerB :unsigned-int) - (upperB :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_bddInterval" 'function)) - -(cffi:defcfun ("Cudd_CProjection" #.(swig-lispify "Cudd_CProjection" 'function)) :pointer - (dd :pointer) - (R :pointer) - (Y :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CProjection" 'function)) - -(cffi:defcfun ("Cudd_addHamming" #.(swig-lispify "Cudd_addHamming" 'function)) :pointer - (dd :pointer) - (xVars :pointer) - (yVars :pointer) - (nVars :int)) - -(cl:export '#.(swig-lispify "Cudd_addHamming" 'function)) - -(cffi:defcfun ("Cudd_MinHammingDist" #.(swig-lispify "Cudd_MinHammingDist" 'function)) :int - (dd :pointer) - (f :pointer) - (minterm :pointer) - (upperBound :int)) - -(cl:export '#.(swig-lispify "Cudd_MinHammingDist" 'function)) - -(cffi:defcfun ("Cudd_bddClosestCube" #.(swig-lispify "Cudd_bddClosestCube" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (distance :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddClosestCube" 'function)) - -(cffi:defcfun ("Cudd_addRead" #.(swig-lispify "Cudd_addRead" 'function)) :int - (fp :pointer) - (dd :pointer) - (E :pointer) - (x :pointer) - (y :pointer) - (xn :pointer) - (yn_ :pointer) - (nx :pointer) - (ny :pointer) - (m :pointer) - (n :pointer) - (bx :int) - (sx :int) - (by :int) - (sy :int)) - -(cl:export '#.(swig-lispify "Cudd_addRead" 'function)) - -(cffi:defcfun ("Cudd_bddRead" #.(swig-lispify "Cudd_bddRead" 'function)) :int - (fp :pointer) - (dd :pointer) - (E :pointer) - (x :pointer) - (y :pointer) - (nx :pointer) - (ny :pointer) - (m :pointer) - (n :pointer) - (bx :int) - (sx :int) - (by :int) - (sy :int)) - -(cl:export '#.(swig-lispify "Cudd_bddRead" 'function)) - -(cffi:defcfun ("Cudd_Ref" #.(swig-lispify "Cudd_Ref" 'function)) :void - (n :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Ref" 'function)) - -(cffi:defcfun ("Cudd_RecursiveDeref" #.(swig-lispify "Cudd_RecursiveDeref" 'function)) :void - (table :pointer) - (n :pointer)) - -(cl:export '#.(swig-lispify "Cudd_RecursiveDeref" 'function)) - -(cffi:defcfun ("Cudd_IterDerefBdd" #.(swig-lispify "Cudd_IterDerefBdd" 'function)) :void - (table :pointer) - (n :pointer)) - -(cl:export '#.(swig-lispify "Cudd_IterDerefBdd" 'function)) - -(cffi:defcfun ("Cudd_DelayedDerefBdd" #.(swig-lispify "Cudd_DelayedDerefBdd" 'function)) :void - (table :pointer) - (n :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DelayedDerefBdd" 'function)) - -(cffi:defcfun ("Cudd_RecursiveDerefZdd" #.(swig-lispify "Cudd_RecursiveDerefZdd" 'function)) :void - (table :pointer) - (n :pointer)) - -(cl:export '#.(swig-lispify "Cudd_RecursiveDerefZdd" 'function)) - -(cffi:defcfun ("Cudd_Deref" #.(swig-lispify "Cudd_Deref" 'function)) :void - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Deref" 'function)) - -(cffi:defcfun ("Cudd_CheckZeroRef" #.(swig-lispify "Cudd_CheckZeroRef" 'function)) :int - (manager :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CheckZeroRef" 'function)) - -(cffi:defcfun ("Cudd_ReduceHeap" #.(swig-lispify "Cudd_ReduceHeap" 'function)) :int - (table :pointer) - (heuristic #.(swig-lispify "Cudd_ReorderingType" 'enumname)) - (minsize :int)) - -(cl:export '#.(swig-lispify "Cudd_ReduceHeap" 'function)) - -(cffi:defcfun ("Cudd_ShuffleHeap" #.(swig-lispify "Cudd_ShuffleHeap" 'function)) :int - (table :pointer) - (permutation :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ShuffleHeap" 'function)) - -(cffi:defcfun ("Cudd_Eval" #.(swig-lispify "Cudd_Eval" 'function)) :pointer - (dd :pointer) - (f :pointer) - (inputs :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Eval" 'function)) - -(cffi:defcfun ("Cudd_ShortestPath" #.(swig-lispify "Cudd_ShortestPath" 'function)) :pointer - (manager :pointer) - (f :pointer) - (weight :pointer) - (support :pointer) - (length :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ShortestPath" 'function)) - -(cffi:defcfun ("Cudd_LargestCube" #.(swig-lispify "Cudd_LargestCube" 'function)) :pointer - (manager :pointer) - (f :pointer) - (length :pointer)) - -(cl:export '#.(swig-lispify "Cudd_LargestCube" 'function)) - -(cffi:defcfun ("Cudd_ShortestLength" #.(swig-lispify "Cudd_ShortestLength" 'function)) :int - (manager :pointer) - (f :pointer) - (weight :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ShortestLength" 'function)) - -(cffi:defcfun ("Cudd_Decreasing" #.(swig-lispify "Cudd_Decreasing" 'function)) :pointer - (dd :pointer) - (f :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_Decreasing" 'function)) - -(cffi:defcfun ("Cudd_Increasing" #.(swig-lispify "Cudd_Increasing" 'function)) :pointer - (dd :pointer) - (f :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_Increasing" 'function)) - -(cffi:defcfun ("Cudd_EquivDC" #.(swig-lispify "Cudd_EquivDC" 'function)) :int - (dd :pointer) - (F :pointer) - (G :pointer) - (D :pointer)) - -(cl:export '#.(swig-lispify "Cudd_EquivDC" 'function)) - -(cffi:defcfun ("Cudd_bddLeqUnless" #.(swig-lispify "Cudd_bddLeqUnless" 'function)) :int - (dd :pointer) - (f :pointer) - (g :pointer) - (D :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddLeqUnless" 'function)) - -(cffi:defcfun ("Cudd_EqualSupNorm" #.(swig-lispify "Cudd_EqualSupNorm" 'function)) :int - (dd :pointer) - (f :pointer) - (g :pointer) - (tolerance :double) - (pr :int)) - -(cl:export '#.(swig-lispify "Cudd_EqualSupNorm" 'function)) - -(cffi:defcfun ("Cudd_bddMakePrime" #.(swig-lispify "Cudd_bddMakePrime" 'function)) :pointer - (dd :pointer) - (cube :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddMakePrime" 'function)) - -(cffi:defcfun ("Cudd_bddMaximallyExpand" #.(swig-lispify "Cudd_bddMaximallyExpand" 'function)) :pointer - (dd :pointer) - (lb :pointer) - (ub :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddMaximallyExpand" 'function)) - -(cffi:defcfun ("Cudd_bddLargestPrimeUnate" #.(swig-lispify "Cudd_bddLargestPrimeUnate" 'function)) :pointer - (dd :pointer) - (f :pointer) - (phaseBdd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddLargestPrimeUnate" 'function)) - -(cffi:defcfun ("Cudd_CofMinterm" #.(swig-lispify "Cudd_CofMinterm" 'function)) :pointer - (dd :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CofMinterm" 'function)) - -(cffi:defcfun ("Cudd_SolveEqn" #.(swig-lispify "Cudd_SolveEqn" 'function)) :pointer - (bdd :pointer) - (F :pointer) - (Y :pointer) - (G :pointer) - (yIndex :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_SolveEqn" 'function)) - -(cffi:defcfun ("Cudd_VerifySol" #.(swig-lispify "Cudd_VerifySol" 'function)) :pointer - (bdd :pointer) - (F :pointer) - (G :pointer) - (yIndex :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_VerifySol" 'function)) - -(cffi:defcfun ("Cudd_SplitSet" #.(swig-lispify "Cudd_SplitSet" 'function)) :pointer - (manager :pointer) - (S :pointer) - (xVars :pointer) - (n :int) - (m :double)) - -(cl:export '#.(swig-lispify "Cudd_SplitSet" 'function)) - -(cffi:defcfun ("Cudd_SubsetHeavyBranch" #.(swig-lispify "Cudd_SubsetHeavyBranch" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int)) - -(cl:export '#.(swig-lispify "Cudd_SubsetHeavyBranch" 'function)) - -(cffi:defcfun ("Cudd_SupersetHeavyBranch" #.(swig-lispify "Cudd_SupersetHeavyBranch" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int)) - -(cl:export '#.(swig-lispify "Cudd_SupersetHeavyBranch" 'function)) - -(cffi:defcfun ("Cudd_SubsetShortPaths" #.(swig-lispify "Cudd_SubsetShortPaths" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int) - (hardlimit :int)) - -(cl:export '#.(swig-lispify "Cudd_SubsetShortPaths" 'function)) - -(cffi:defcfun ("Cudd_SupersetShortPaths" #.(swig-lispify "Cudd_SupersetShortPaths" 'function)) :pointer - (dd :pointer) - (f :pointer) - (numVars :int) - (threshold :int) - (hardlimit :int)) - -(cl:export '#.(swig-lispify "Cudd_SupersetShortPaths" 'function)) - -(cffi:defcfun ("Cudd_SymmProfile" #.(swig-lispify "Cudd_SymmProfile" 'function)) :void - (table :pointer) - (lower :int) - (upper :int)) - -(cl:export '#.(swig-lispify "Cudd_SymmProfile" 'function)) - -(cffi:defcfun ("Cudd_Prime" #.(swig-lispify "Cudd_Prime" 'function)) :unsigned-int - (p :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_Prime" 'function)) - -(cffi:defcfun ("Cudd_Reserve" #.(swig-lispify "Cudd_Reserve" 'function)) :int - (manager :pointer) - (amount :int)) - -(cl:export '#.(swig-lispify "Cudd_Reserve" 'function)) - -(cffi:defcfun ("Cudd_PrintMinterm" #.(swig-lispify "Cudd_PrintMinterm" 'function)) :int - (manager :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrintMinterm" 'function)) - -(cffi:defcfun ("Cudd_bddPrintCover" #.(swig-lispify "Cudd_bddPrintCover" 'function)) :int - (dd :pointer) - (l :pointer) - (u :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddPrintCover" 'function)) - -(cffi:defcfun ("Cudd_PrintDebug" #.(swig-lispify "Cudd_PrintDebug" 'function)) :int - (dd :pointer) - (f :pointer) - (n :int) - (pr :int)) - -(cl:export '#.(swig-lispify "Cudd_PrintDebug" 'function)) - -(cffi:defcfun ("Cudd_PrintSummary" #.(swig-lispify "Cudd_PrintSummary" 'function)) :int - (dd :pointer) - (f :pointer) - (n :int) - (mode :int)) - -(cl:export '#.(swig-lispify "Cudd_PrintSummary" 'function)) - -(cffi:defcfun ("Cudd_DagSize" #.(swig-lispify "Cudd_DagSize" 'function)) :int - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_DagSize" 'function)) - -(cffi:defcfun ("Cudd_EstimateCofactor" #.(swig-lispify "Cudd_EstimateCofactor" 'function)) :int - (dd :pointer) - (node :pointer) - (i :int) - (phase :int)) - -(cl:export '#.(swig-lispify "Cudd_EstimateCofactor" 'function)) - -(cffi:defcfun ("Cudd_EstimateCofactorSimple" #.(swig-lispify "Cudd_EstimateCofactorSimple" 'function)) :int - (node :pointer) - (i :int)) - -(cl:export '#.(swig-lispify "Cudd_EstimateCofactorSimple" 'function)) - -(cffi:defcfun ("Cudd_SharingSize" #.(swig-lispify "Cudd_SharingSize" 'function)) :int - (nodeArray :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_SharingSize" 'function)) - -(cffi:defcfun ("Cudd_CountMinterm" #.(swig-lispify "Cudd_CountMinterm" 'function)) :double - (manager :pointer) - (node :pointer) - (nvars :int)) - -(cl:export '#.(swig-lispify "Cudd_CountMinterm" 'function)) - -(cffi:defcfun ("Cudd_LdblCountMinterm" #.(swig-lispify "Cudd_LdblCountMinterm" 'function)) :pointer - (manager :pointer) - (node :pointer) - (nvars :int)) - -(cl:export '#.(swig-lispify "Cudd_LdblCountMinterm" 'function)) - -(cffi:defcfun ("Cudd_EpdPrintMinterm" #.(swig-lispify "Cudd_EpdPrintMinterm" 'function)) :int - (dd :pointer) - (node :pointer) - (nvars :int)) - -(cl:export '#.(swig-lispify "Cudd_EpdPrintMinterm" 'function)) - -(cffi:defcfun ("Cudd_CountPath" #.(swig-lispify "Cudd_CountPath" 'function)) :double - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CountPath" 'function)) - -(cffi:defcfun ("Cudd_CountPathsToNonZero" #.(swig-lispify "Cudd_CountPathsToNonZero" 'function)) :double - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CountPathsToNonZero" 'function)) - -(cffi:defcfun ("Cudd_SupportIndices" #.(swig-lispify "Cudd_SupportIndices" 'function)) :int - (dd :pointer) - (f :pointer) - (indices :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SupportIndices" 'function)) - -(cffi:defcfun ("Cudd_Support" #.(swig-lispify "Cudd_Support" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Support" 'function)) - -(cffi:defcfun ("Cudd_SupportIndex" #.(swig-lispify "Cudd_SupportIndex" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SupportIndex" 'function)) - -(cffi:defcfun ("Cudd_SupportSize" #.(swig-lispify "Cudd_SupportSize" 'function)) :int - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_SupportSize" 'function)) - -(cffi:defcfun ("Cudd_VectorSupportIndices" #.(swig-lispify "Cudd_VectorSupportIndices" 'function)) :int - (dd :pointer) - (F :pointer) - (n :int) - (indices :pointer)) - -(cl:export '#.(swig-lispify "Cudd_VectorSupportIndices" 'function)) - -(cffi:defcfun ("Cudd_VectorSupport" #.(swig-lispify "Cudd_VectorSupport" 'function)) :pointer - (dd :pointer) - (F :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_VectorSupport" 'function)) - -(cffi:defcfun ("Cudd_VectorSupportIndex" #.(swig-lispify "Cudd_VectorSupportIndex" 'function)) :pointer - (dd :pointer) - (F :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_VectorSupportIndex" 'function)) - -(cffi:defcfun ("Cudd_VectorSupportSize" #.(swig-lispify "Cudd_VectorSupportSize" 'function)) :int - (dd :pointer) - (F :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_VectorSupportSize" 'function)) - -(cffi:defcfun ("Cudd_ClassifySupport" #.(swig-lispify "Cudd_ClassifySupport" 'function)) :int - (dd :pointer) - (f :pointer) - (g :pointer) - (common :pointer) - (onlyF :pointer) - (onlyG :pointer)) - -(cl:export '#.(swig-lispify "Cudd_ClassifySupport" 'function)) - -(cffi:defcfun ("Cudd_CountLeaves" #.(swig-lispify "Cudd_CountLeaves" 'function)) :int - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CountLeaves" 'function)) - -(cffi:defcfun ("Cudd_bddPickOneCube" #.(swig-lispify "Cudd_bddPickOneCube" 'function)) :int - (ddm :pointer) - (node :pointer) - (string :string)) - -(cl:export '#.(swig-lispify "Cudd_bddPickOneCube" 'function)) - -(cffi:defcfun ("Cudd_bddPickOneMinterm" #.(swig-lispify "Cudd_bddPickOneMinterm" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vars :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_bddPickOneMinterm" 'function)) - -(cffi:defcfun ("Cudd_bddPickArbitraryMinterms" #.(swig-lispify "Cudd_bddPickArbitraryMinterms" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vars :pointer) - (n :int) - (k :int)) - -(cl:export '#.(swig-lispify "Cudd_bddPickArbitraryMinterms" 'function)) - -(cffi:defcfun ("Cudd_SubsetWithMaskVars" #.(swig-lispify "Cudd_SubsetWithMaskVars" 'function)) :pointer - (dd :pointer) - (f :pointer) - (vars :pointer) - (nvars :int) - (maskVars :pointer) - (mvars :int)) - -(cl:export '#.(swig-lispify "Cudd_SubsetWithMaskVars" 'function)) - -(cffi:defcfun ("Cudd_FirstCube" #.(swig-lispify "Cudd_FirstCube" 'function)) :pointer - (dd :pointer) - (f :pointer) - (cube :pointer) - (value :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FirstCube" 'function)) - -(cffi:defcfun ("Cudd_NextCube" #.(swig-lispify "Cudd_NextCube" 'function)) :int - (gen :pointer) - (cube :pointer) - (value :pointer)) - -(cl:export '#.(swig-lispify "Cudd_NextCube" 'function)) - -(cffi:defcfun ("Cudd_FirstPrime" #.(swig-lispify "Cudd_FirstPrime" 'function)) :pointer - (dd :pointer) - (l :pointer) - (u :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FirstPrime" 'function)) - -(cffi:defcfun ("Cudd_NextPrime" #.(swig-lispify "Cudd_NextPrime" 'function)) :int - (gen :pointer) - (cube :pointer)) - -(cl:export '#.(swig-lispify "Cudd_NextPrime" 'function)) - -(cffi:defcfun ("Cudd_bddComputeCube" #.(swig-lispify "Cudd_bddComputeCube" 'function)) :pointer - (dd :pointer) - (vars :pointer) - (phase :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_bddComputeCube" 'function)) - -(cffi:defcfun ("Cudd_addComputeCube" #.(swig-lispify "Cudd_addComputeCube" 'function)) :pointer - (dd :pointer) - (vars :pointer) - (phase :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_addComputeCube" 'function)) - -(cffi:defcfun ("Cudd_CubeArrayToBdd" #.(swig-lispify "Cudd_CubeArrayToBdd" 'function)) :pointer - (dd :pointer) - (array :pointer)) - -(cl:export '#.(swig-lispify "Cudd_CubeArrayToBdd" 'function)) - -(cffi:defcfun ("Cudd_BddToCubeArray" #.(swig-lispify "Cudd_BddToCubeArray" 'function)) :int - (dd :pointer) - (cube :pointer) - (array :pointer)) - -(cl:export '#.(swig-lispify "Cudd_BddToCubeArray" 'function)) - -(cffi:defcfun ("Cudd_FirstNode" #.(swig-lispify "Cudd_FirstNode" 'function)) :pointer - (dd :pointer) - (f :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_FirstNode" 'function)) - -(cffi:defcfun ("Cudd_NextNode" #.(swig-lispify "Cudd_NextNode" 'function)) :int - (gen :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_NextNode" 'function)) - -(cffi:defcfun ("Cudd_GenFree" #.(swig-lispify "Cudd_GenFree" 'function)) :int - (gen :pointer)) - -(cl:export '#.(swig-lispify "Cudd_GenFree" 'function)) - -(cffi:defcfun ("Cudd_IsGenEmpty" #.(swig-lispify "Cudd_IsGenEmpty" 'function)) :int - (gen :pointer)) - -(cl:export '#.(swig-lispify "Cudd_IsGenEmpty" 'function)) - -(cffi:defcfun ("Cudd_IndicesToCube" #.(swig-lispify "Cudd_IndicesToCube" 'function)) :pointer - (dd :pointer) - (array :pointer) - (n :int)) - -(cl:export '#.(swig-lispify "Cudd_IndicesToCube" 'function)) - -(cffi:defcfun ("Cudd_PrintVersion" #.(swig-lispify "Cudd_PrintVersion" 'function)) :void - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_PrintVersion" 'function)) - -(cffi:defcfun ("Cudd_AverageDistance" #.(swig-lispify "Cudd_AverageDistance" 'function)) :double - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_AverageDistance" 'function)) - -(cffi:defcfun ("Cudd_Random" #.(swig-lispify "Cudd_Random" 'function)) :pointer - (dd :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Random" 'function)) - -(cffi:defcfun ("Cudd_Srandom" #.(swig-lispify "Cudd_Srandom" 'function)) :void - (dd :pointer) - (seed :pointer)) - -(cl:export '#.(swig-lispify "Cudd_Srandom" 'function)) - -(cffi:defcfun ("Cudd_Density" #.(swig-lispify "Cudd_Density" 'function)) :double - (dd :pointer) - (f :pointer) - (nvars :int)) - -(cl:export '#.(swig-lispify "Cudd_Density" 'function)) - -(cffi:defcfun ("Cudd_OutOfMem" #.(swig-lispify "Cudd_OutOfMem" 'function)) :void - (size :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_OutOfMem" 'function)) - -(cffi:defcfun ("Cudd_OutOfMemSilent" #.(swig-lispify "Cudd_OutOfMemSilent" 'function)) :void - (size :unsigned-int)) - -(cl:export '#.(swig-lispify "Cudd_OutOfMemSilent" 'function)) - -(cffi:defcfun ("Cudd_zddCount" #.(swig-lispify "Cudd_zddCount" 'function)) :int - (zdd :pointer) - (P :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddCount" 'function)) - -(cffi:defcfun ("Cudd_zddCountDouble" #.(swig-lispify "Cudd_zddCountDouble" 'function)) :double - (zdd :pointer) - (P :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddCountDouble" 'function)) - -(cffi:defcfun ("Cudd_zddProduct" #.(swig-lispify "Cudd_zddProduct" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddProduct" 'function)) - -(cffi:defcfun ("Cudd_zddUnateProduct" #.(swig-lispify "Cudd_zddUnateProduct" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddUnateProduct" 'function)) - -(cffi:defcfun ("Cudd_zddWeakDiv" #.(swig-lispify "Cudd_zddWeakDiv" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddWeakDiv" 'function)) - -(cffi:defcfun ("Cudd_zddDivide" #.(swig-lispify "Cudd_zddDivide" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddDivide" 'function)) - -(cffi:defcfun ("Cudd_zddWeakDivF" #.(swig-lispify "Cudd_zddWeakDivF" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddWeakDivF" 'function)) - -(cffi:defcfun ("Cudd_zddDivideF" #.(swig-lispify "Cudd_zddDivideF" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddDivideF" 'function)) - -(cffi:defcfun ("Cudd_zddComplement" #.(swig-lispify "Cudd_zddComplement" 'function)) :pointer - (dd :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddComplement" 'function)) - -(cffi:defcfun ("Cudd_zddIsop" #.(swig-lispify "Cudd_zddIsop" 'function)) :pointer - (dd :pointer) - (L :pointer) - (U :pointer) - (zdd_I :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddIsop" 'function)) - -(cffi:defcfun ("Cudd_bddIsop" #.(swig-lispify "Cudd_bddIsop" 'function)) :pointer - (dd :pointer) - (L :pointer) - (U :pointer)) - -(cl:export '#.(swig-lispify "Cudd_bddIsop" 'function)) - -(cffi:defcfun ("Cudd_MakeBddFromZddCover" #.(swig-lispify "Cudd_MakeBddFromZddCover" 'function)) :pointer - (dd :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_MakeBddFromZddCover" 'function)) - -(cffi:defcfun ("Cudd_zddDagSize" #.(swig-lispify "Cudd_zddDagSize" 'function)) :int - (p_node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddDagSize" 'function)) - -(cffi:defcfun ("Cudd_zddCountMinterm" #.(swig-lispify "Cudd_zddCountMinterm" 'function)) :double - (zdd :pointer) - (node :pointer) - (path :int)) - -(cl:export '#.(swig-lispify "Cudd_zddCountMinterm" 'function)) - -(cffi:defcfun ("Cudd_zddPrintSubtable" #.(swig-lispify "Cudd_zddPrintSubtable" 'function)) :void - (table :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddPrintSubtable" 'function)) - -(cffi:defcfun ("Cudd_zddPortFromBdd" #.(swig-lispify "Cudd_zddPortFromBdd" 'function)) :pointer - (dd :pointer) - (B :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddPortFromBdd" 'function)) - -(cffi:defcfun ("Cudd_zddPortToBdd" #.(swig-lispify "Cudd_zddPortToBdd" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddPortToBdd" 'function)) - -(cffi:defcfun ("Cudd_zddReduceHeap" #.(swig-lispify "Cudd_zddReduceHeap" 'function)) :int - (table :pointer) - (heuristic #.(swig-lispify "Cudd_ReorderingType" 'enumname)) - (minsize :int)) - -(cl:export '#.(swig-lispify "Cudd_zddReduceHeap" 'function)) - -(cffi:defcfun ("Cudd_zddShuffleHeap" #.(swig-lispify "Cudd_zddShuffleHeap" 'function)) :int - (table :pointer) - (permutation :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddShuffleHeap" 'function)) - -(cffi:defcfun ("Cudd_zddIte" #.(swig-lispify "Cudd_zddIte" 'function)) :pointer - (dd :pointer) - (f :pointer) - (g :pointer) - (h :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddIte" 'function)) - -(cffi:defcfun ("Cudd_zddUnion" #.(swig-lispify "Cudd_zddUnion" 'function)) :pointer - (dd :pointer) - (P :pointer) - (Q :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddUnion" 'function)) - -(cffi:defcfun ("Cudd_zddIntersect" #.(swig-lispify "Cudd_zddIntersect" 'function)) :pointer - (dd :pointer) - (P :pointer) - (Q :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddIntersect" 'function)) - -(cffi:defcfun ("Cudd_zddDiff" #.(swig-lispify "Cudd_zddDiff" 'function)) :pointer - (dd :pointer) - (P :pointer) - (Q :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddDiff" 'function)) - -(cffi:defcfun ("Cudd_zddDiffConst" #.(swig-lispify "Cudd_zddDiffConst" 'function)) :pointer - (zdd :pointer) - (P :pointer) - (Q :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddDiffConst" 'function)) - -(cffi:defcfun ("Cudd_zddSubset1" #.(swig-lispify "Cudd_zddSubset1" 'function)) :pointer - (dd :pointer) - (P :pointer) - (var :int)) - -(cl:export '#.(swig-lispify "Cudd_zddSubset1" 'function)) - -(cffi:defcfun ("Cudd_zddSubset0" #.(swig-lispify "Cudd_zddSubset0" 'function)) :pointer - (dd :pointer) - (P :pointer) - (var :int)) - -(cl:export '#.(swig-lispify "Cudd_zddSubset0" 'function)) - -(cffi:defcfun ("Cudd_zddChange" #.(swig-lispify "Cudd_zddChange" 'function)) :pointer - (dd :pointer) - (P :pointer) - (var :int)) - -(cl:export '#.(swig-lispify "Cudd_zddChange" 'function)) - -(cffi:defcfun ("Cudd_zddSymmProfile" #.(swig-lispify "Cudd_zddSymmProfile" 'function)) :void - (table :pointer) - (lower :int) - (upper :int)) - -(cl:export '#.(swig-lispify "Cudd_zddSymmProfile" 'function)) - -(cffi:defcfun ("Cudd_zddPrintMinterm" #.(swig-lispify "Cudd_zddPrintMinterm" 'function)) :int - (zdd :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddPrintMinterm" 'function)) - -(cffi:defcfun ("Cudd_zddPrintCover" #.(swig-lispify "Cudd_zddPrintCover" 'function)) :int - (zdd :pointer) - (node :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddPrintCover" 'function)) - -(cffi:defcfun ("Cudd_zddPrintDebug" #.(swig-lispify "Cudd_zddPrintDebug" 'function)) :int - (zdd :pointer) - (f :pointer) - (n :int) - (pr :int)) - -(cl:export '#.(swig-lispify "Cudd_zddPrintDebug" 'function)) - -(cffi:defcfun ("Cudd_zddFirstPath" #.(swig-lispify "Cudd_zddFirstPath" 'function)) :pointer - (zdd :pointer) - (f :pointer) - (path :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddFirstPath" 'function)) - -(cffi:defcfun ("Cudd_zddNextPath" #.(swig-lispify "Cudd_zddNextPath" 'function)) :int - (gen :pointer) - (path :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddNextPath" 'function)) - -(cffi:defcfun ("Cudd_zddCoverPathToString" #.(swig-lispify "Cudd_zddCoverPathToString" 'function)) :string - (zdd :pointer) - (path :pointer) - (str :string)) - -(cl:export '#.(swig-lispify "Cudd_zddCoverPathToString" 'function)) - -(cffi:defcfun ("Cudd_zddSupport" #.(swig-lispify "Cudd_zddSupport" 'function)) :pointer - (dd :pointer) - (f :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddSupport" 'function)) - -(cffi:defcfun ("Cudd_zddDumpDot" #.(swig-lispify "Cudd_zddDumpDot" 'function)) :int - (dd :pointer) - (n :int) - (f :pointer) - (inames :pointer) - (onames :pointer) - (fp :pointer)) - -(cl:export '#.(swig-lispify "Cudd_zddDumpDot" 'function)) - -(cffi:defcfun ("Cudd_bddSetPiVar" #.(swig-lispify "Cudd_bddSetPiVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetPiVar" 'function)) - -(cffi:defcfun ("Cudd_bddSetPsVar" #.(swig-lispify "Cudd_bddSetPsVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetPsVar" 'function)) - -(cffi:defcfun ("Cudd_bddSetNsVar" #.(swig-lispify "Cudd_bddSetNsVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetNsVar" 'function)) - -(cffi:defcfun ("Cudd_bddIsPiVar" #.(swig-lispify "Cudd_bddIsPiVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsPiVar" 'function)) - -(cffi:defcfun ("Cudd_bddIsPsVar" #.(swig-lispify "Cudd_bddIsPsVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsPsVar" 'function)) - -(cffi:defcfun ("Cudd_bddIsNsVar" #.(swig-lispify "Cudd_bddIsNsVar" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsNsVar" 'function)) - -(cffi:defcfun ("Cudd_bddSetPairIndex" #.(swig-lispify "Cudd_bddSetPairIndex" 'function)) :int - (dd :pointer) - (index :int) - (pairIndex :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetPairIndex" 'function)) - -(cffi:defcfun ("Cudd_bddReadPairIndex" #.(swig-lispify "Cudd_bddReadPairIndex" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddReadPairIndex" 'function)) - -(cffi:defcfun ("Cudd_bddSetVarToBeGrouped" #.(swig-lispify "Cudd_bddSetVarToBeGrouped" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetVarToBeGrouped" 'function)) - -(cffi:defcfun ("Cudd_bddSetVarHardGroup" #.(swig-lispify "Cudd_bddSetVarHardGroup" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetVarHardGroup" 'function)) - -(cffi:defcfun ("Cudd_bddResetVarToBeGrouped" #.(swig-lispify "Cudd_bddResetVarToBeGrouped" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddResetVarToBeGrouped" 'function)) - -(cffi:defcfun ("Cudd_bddIsVarToBeGrouped" #.(swig-lispify "Cudd_bddIsVarToBeGrouped" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsVarToBeGrouped" 'function)) - -(cffi:defcfun ("Cudd_bddSetVarToBeUngrouped" #.(swig-lispify "Cudd_bddSetVarToBeUngrouped" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddSetVarToBeUngrouped" 'function)) - -(cffi:defcfun ("Cudd_bddIsVarToBeUngrouped" #.(swig-lispify "Cudd_bddIsVarToBeUngrouped" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsVarToBeUngrouped" 'function)) - -(cffi:defcfun ("Cudd_bddIsVarHardGroup" #.(swig-lispify "Cudd_bddIsVarHardGroup" 'function)) :int - (dd :pointer) - (index :int)) - -(cl:export '#.(swig-lispify "Cudd_bddIsVarHardGroup" 'function)) - - diff -r c3c1d21c6fa8 -r 0306f46e89fb src/zdd.lisp --- a/src/zdd.lisp Sat Oct 29 14:48:46 2016 +0000 +++ b/src/zdd.lisp Sat Oct 29 14:50:01 2016 +0000 @@ -1,84 +1,5 @@ (in-package :scully.zdd) -; (defctype dd-halfword :uint32) - -; (defcstruct dd-children -; (true :pointer) -; (else :pointer)) - -; (defcunion dd-node-guts -; (value :double) -; (kids (:struct dd-children))) - -; (defcstruct dd-node -; (index dd-halfword) -; (ref dd-halfword) -; (next (:pointer (:struct dd-node))) -; (type (:union dd-node-guts))) - - -; (defparameter *m* -; (cudd-init 0 -; 0 -; scully.cudd:+cudd-unique-slots+ -; scully.cudd:+cudd-cache-slots+ -; 0)) - -; (defun ref (node) -; (cudd-ref node) -; node) - -; (defun deref (&rest nodes) -; (iterate (for node :in nodes) -; (cudd-recursive-deref-zdd *m* node)) -; (values)) - -; (defun var (index) -; (let ((node (cudd-zdd-ith-var *m* index))) -; (ref node) -; node)) - -; (defun draw (node &optional (filename "zdd.dot")) -; (format t "Cover~%") -; (cudd-zdd-print-cover *m* node) -; (format t "~%Node Count: ~A~%" -; (cudd-zdd-read-node-count *m*)) -; (format t "~%Minterm~%") -; (cudd-zdd-print-minterm *m* node) -; (format t "~%Debug~%") -; (cudd-zdd-print-debug *m* node 0 10) -; (format t "~%Table~%") -; (cudd-zdd-print-subtable *m*) -; (let ((file (foreign-funcall "fopen" :string filename :string "w" :pointer))) -; (unwind-protect -; (let ((node-array (foreign-alloc :pointer :initial-element node))) -; (cudd-zdd-dump-dot *m* 1 node-array (null-pointer) (null-pointer) file) -; (foreign-free node-array)) -; (foreign-funcall "fclose" :pointer file)))) - - -; (defun test () -; (let* ((a (var 0)) -; (b (var 1)) -; (result (ref (cudd-zdd-union *m* a b)))) -; (deref a b) -; (draw result) -; (deref result))) - -; (defun test () -; (let* ((a (var 1))) -; (draw a) -; (deref a))) - -; (test) -; (draw (cudd-zdd-ith-var *m* 0)) - -; (draw (cudd-read-zdd-one *m* 0)) - -; (draw (cudd-read-zero *m*)) -; (test) - - (defun gcprint (thing &rest args) (let ((*print-circle* t)) (apply #'print