The cl-cudd Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The cl-cudd Reference Manual

This is the cl-cudd Reference Manual, generated automatically by Declt version 2.3 "Robert April" on Tue Jan 09 13:32:16 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

Common Lisp binding to CUDD Build Status

This is a fork of original CL-CUDD using the modern common lisp convension.

What is BDDs and CUDD?

BDDs (Binary Decision Diagrams) are awesome datastructures that can compactly represent exponentially large number of datasets, as well as allowing the direct computation over the compressed representation, i.e., you can take the sum/product/union/intersection of the datasets without decompressing the data!

CUDD is a famous C implementation of BDDs and its relatives: Multi-Terminal Binary Decision Diagrams (MTBDDs, also known as Algebraic DD / ADDs) and Zero-suppressed Decision Diagrams.

References:

trivialib.bdd is another common lisp library for BDDs, which is entirely written in lisp. CUDD is more on the state-of-the-art side.

Building/Loading the system

The system is asdf-loadable. This version of CL-CUDD automatically fetches CUDD v3.0.0 from http://vlsi.colorado.edu/~fabio/CUDD/ via curl. The archive is expanded in the ASDF system directory and builds its dynamic library, which is then loaded by CL-CUDD.

To test the system, evaluate (asdf:test-system :cl-cudd.test). It also writes the visualizations of the decision diagrams to the system directory in DOT format. If you have Graphviz installed, the test script also tries to convert the results into pdfs.

The binding(s)

The binding consists of two layers: The lower layer has cl-cudd.baseapi package. This layer is a very thin wrapper around the C library, passes raw pointers around and requires that you take care of reference counting.

Above this layer there is a package named cl-cudd (with a nickname cudd). It wraps the pointers from the lower layer, takes care of reference counting for you, and also adds documentation from the CUDD manual.

DD Construction Examples

Representing a binary function using BDD

Suppose you have a binary function denoted as b = f(x0,x1,...xn) which can be expressed in a DNF formula such as (or (and x0 (not x1) x2) ...). To begin with, we construct the first disjunction, which is in this case (and x0 (not x1) x2). It can be implemented as follows:

;; functional
(reduce #'node-and
        (list (make-var 'bdd-node :index 0)
              (node-complement (make-var 'bdd-node :index 1))
              (make-var 'bdd-node :index 2))
        :from-end t ;; more efficient when BDDs are build bottom-up
        :initial-value (one-node 'bdd-node))

;; imperative
(let ((f (one-node 'bdd-node)))
  (setf f (node-and f (make-var 'bdd-node :index 2)))
  (setf f (node-and f (node-complement (make-var 'bdd-node :index 1))))
  (setf f (node-and f (make-var 'bdd-node :index 0)))
  f)

;; with a threading macro

(ql:quickload :arrow-macros) (use-package :arrow-macros)

(-> (one-node 'bdd-node)
    (node-and (make-var 'bdd-node :index 2))
    (node-and (node-complement (make-var 'bdd-node :index 1)))
    (node-and (make-var 'bdd-node :index 0)))

To take the disjunction of conjunctions, there are similarly named node-or function and zero-node function.

(-> (zero-node 'bdd-node)
    (node-or bdd1)
    (node-or bdd2)
    ...)

(plot pathname dd) function (accepts bdd, add and zdd) generates a dot file and a pdf, but requires graphviz.

Representing real functions using ADD and taking their symbolic sum

In ADD, the terminal node can have a value instead of boolean (in BDD), and you are able to perform various arithmetic operations in the closed form, i.e. for two ADDs (functions) f and g, you can obtain f+g efficiently.

Imagine f(x1,x2) and g(x1,x2) takes the following values:

| x1 | x2 | f(x1,x2) | g(x1,x2) | |:--:|:--:|:--------:|:--------:| | 0 | 0 | 2 | 4 | | 0 | 1 | 2 | 4 | | 1 | 0 | 3 | 3 | | 1 | 1 | 5 | 7 |

;; f
(-> (-> (ADD-constant 2)
        (node-and (node-complement (make-var 'ADD-node :index 0)))
        (node-and (node-complement (make-var 'ADD-node :index 1))))
    (node-or
        (-> (ADD-constant 2)
            (node-and (node-complement (make-var 'ADD-node :index 0)))
            (node-and (make-var 'ADD-node :index 1))))
    (node-or
        (-> (ADD-constant 3)
            (node-and (make-var 'ADD-node :index 0))
            (node-and (node-complement (make-var 'ADD-node :index 1)))))
    (node-or
        (-> (ADD-constant 5)
            (node-and (make-var 'ADD-node :index 0))
            (node-and (make-var 'ADD-node :index 1)))))

;; g 
(-> ...) ;; omitted

(ADD-apply +plus+ f g) ;; -> an ADD representing (f+g)(x1,x2)

Other possible arguments to ADD-apply are

Another way to construct an ADD is to convert the corresponding BDD by bdd->add function. (This case applies only to the case where 0-1 ADDs suffice, i.e. ADDs with only 0 or 1 terminal nodes).

Representing a family of set using ZDD

Recently, ZDD is famous especially among Japanese CS researchers due to this hyped youtube video https://www.youtube.com/watch?v=Q4gTV4r0zRs made by people funded by JST ERATO (Exploratory Research for Advanced Technology). No, it is actually quite powerful and is a better option than BDD when most of the paths leads to the zero-node, and is particularly useful for representing a family of sets.

One way to construct a ZDD is to call either of conversion functions bdd->zdd-simple and bdd->zdd-cover to an existing BDD.

Another option is to build a ZDD directly, starting from {{}} and "flipping" the true/false by (zdd-change zdd variable) operator. Consider we are encoding a family of sets F={{1,2}, {1,3}, {3}}. First, A={{1,2}} is built as follows:

(defvar *a* (zdd-set-of-emptyset))
(setf *a* (zdd-change *a* 1))
(setf *a* (zdd-change *a* 2))

;; alternatively, using threading macro:
(defvar *a*
   (-> (zdd-set-of-emptyset)
       (zdd-change 1)
       (zdd-change 2)))

Then take their union.

(defvar *b* ..) ; construct *b* and *c* similarly.
(defvar *c* ..)

(defvar *f* (reduce #'zdd-union (list *a* *b* *c*) :initial-value (zdd-emptyset)))

;; alternatively, 
(defvar *f* 
   (-> (zdd-emptyset)
       (zdd-union *a*)
       (zdd-union *b*)
       (zdd-union *c*)))

;; or,
(defvar *f* (zdd-emptyset))
(setf *f* (zdd-union *f* *a*))
(setf *f* (zdd-union *f* *b*))
(setf *f* (zdd-union *f* *c*))

;; of course, this is equivalent and is more efficient:
(defvar *f* (zdd-union *a* *b*))
(setf *f* (zdd-union *f* *c*))

System structure

Low-level

This is loosely based on the SWIG-extracted information and is using CFFI-Grovel to actually map C symbols to lisp symbols. If you want to use this layer, then it would be best to have a look at the CUDD manual.

You can use the low-level system just as you would use the C API of CUDD. This also means that you have to do all the reference counting yourself, with one exception: The reference count of the return value each CUDD function that returns a node is increased if it is not null. If it is null, a signal of type cudd-null-pointer-error is raised.

High-level

The high level API automatically wraps the CUDD nodes in an instance of class node. ADD nodes are wrapped in an instance of add-node and BDD nodes are wrapped in an instance of type bdd-node.

This enables runtime type checking (so that you don't stick ADD nodes into BDD functions or vice-versa) and also automatic reference counting.

Almost all CUDD functions need to refer to a CUDD manager. In the high-level API this manager is contained in special variable *manager*. You can bind a manager using the macro with-manager. You can also create a manager by (make-instance 'manager :pointer (cudd-init 0 0 256 262144 0)).

All functions of package CL-CUDD are documented using the original or slightly modified documentation of CUDD.

History

The initial version was automatically generated using SWIG by Utz-Uwe Haus. The second version was adapted to the needs by Christian von Essen christian.vonEssen@imag.fr. Later, @Neronus made a git repository on Github and @rpgoldman made a few bugfixes. Finally @guicho271828 (Masataro Asai) has modernized the repository according to the recent practice in common lisp: unit tests, Travis-CI support, better documentation and additional support for ZDDs.

Known problems

Using the GC to do reference counting automatically has its own share of problems:

  1. References may be freed very late.

    Nodes will be dereferenced only if your CL implementation thinks that it's time for it. This is usually when itself is running out of memory. Because you are usually only holding on to the top of a diagram, you are not using as much memory in CL as you are using in CUDD. Hence the GC might come pretty late while CUDD is happily accumulating memory.

    The solution to that is to try to call the garbage collector manually every so often using for example TRIVIAL-GARBAGE:GC

Solved problems

~~References may be freed too early~~

The old text below is wrong. CUDD's reference counting GC does not work this way. According to CUDD's manual, its GC happens when:

  1. A call to cuddUniqueInter , to cuddUniqueInterZdd , to cuddUnique- Const, or to a function that may eventually cause a call to them.
  2. A call to Cudd RecursiveDeref , to Cudd RecursiveDerefZdd , or to a function that may eventually cause a call to them.

Thus the GC does not occur at arbitrary code path, as assumed below.

 The following two examples demonstrate the problem.

    (defun foo (dd)
      (let ((ptr (node-pointer dd)))
        ;; please don't GC me here
        (cudd-do-something ptr)))

In this example the GC might decide to run where there is the
comment.
In that case, provided that nothing outside of the function call
holds on to `dd`, the reference count of `ptr` might be decreased,
go down to zero and the node vanishes before `cudd-do-something` is
called.

Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Next: , Previous: , Up: Systems   [Contents][Index]

2.1 cl-cudd

Maintainer

Masataro Asai <guicho2.7128@gmail.com>

Author

Christian von Essen <christian@mvonessen.de>

License

BSD Style (see LICENSE)

Description

A two-layered binding to the CUDD binary decision diagram library.

See README.md for more details.

Defsystem Dependency

cffi-grovel

Dependencies
Source

cl-cudd.asd (file)

Components

Previous: , Up: Systems   [Contents][Index]

2.2 cl-cudd.build

Author

Masataro Asai

Contact

guicho2.71828@gmail.com

License

LLGPL

Description

Build CUDD

Version

0.1

Dependency

cffi

Source

cl-cudd.build.asd (file)


Next: , Previous: , Up: Top   [Contents][Index]

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

3.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.1 cl-cudd.asd

Location

cl-cudd.asd

Systems

cl-cudd (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.2 cl-cudd.build.asd

Location

cl-cudd.build.asd

Systems

cl-cudd.build (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.3 cl-cudd/src/0-package.lisp

Parent

cl-cudd (system)

Location

src/0-package.lisp

Packages

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.4 cl-cudd/src/1-0-0-library.lisp

Dependency

src/0-package.lisp (file)

Parent

cl-cudd (system)

Location

src/1-0-0-library.lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.5 cl-cudd/src/1-0-1-conditions.lisp

Dependency

src/1-0-0-library.lisp (file)

Parent

cl-cudd (system)

Location

src/1-0-1-conditions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.6 cl-cudd/src/1-0-2-translators.lisp

Dependency

src/1-0-1-conditions.lisp (file)

Parent

cl-cudd (system)

Location

src/1-0-2-translators.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.7 cl-cudd/src/1-1-0-swig-macros.lisp

Dependency

src/1-0-2-translators.lisp (file)

Parent

cl-cudd (system)

Location

src/1-1-0-swig-macros.lisp

Exported Definitions

lispify (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.8 cl-cudd/src/1-1-1-grovel.lisp

Dependency

src/1-1-0-swig-macros.lisp (file)

Parent

cl-cudd (system)

Location

src/1-1-1-grovel.lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.9 cl-cudd/src/1-1-2-fun.lisp

Dependency

src/1-1-1-grovel.lisp (file)

Parent

cl-cudd (system)

Location

src/1-1-2-fun.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.10 cl-cudd/src/1-2-0-base-common.lisp

Dependency

src/1-1-2-fun.lisp (file)

Parent

cl-cudd (system)

Location

src/1-2-0-base-common.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.11 cl-cudd/src/1-2-1-base-add.lisp

Dependency

src/1-2-0-base-common.lisp (file)

Parent

cl-cudd (system)

Location

src/1-2-1-base-add.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.12 cl-cudd/src/1-2-1-base-bdd.lisp

Dependency

src/1-2-1-base-add.lisp (file)

Parent

cl-cudd (system)

Location

src/1-2-1-base-bdd.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.13 cl-cudd/src/1-2-1-base-zdd.lisp

Dependency

src/1-2-1-base-bdd.lisp (file)

Parent

cl-cudd (system)

Location

src/1-2-1-base-zdd.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.14 cl-cudd/src/1-3-dddmp.lisp

Dependency

src/1-2-1-base-zdd.lisp (file)

Parent

cl-cudd (system)

Location

src/1-3-dddmp.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.15 cl-cudd/src/2-0-0-manager.lisp

Dependency

src/1-3-dddmp.lisp (file)

Parent

cl-cudd (system)

Location

src/2-0-0-manager.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.16 cl-cudd/src/2-0-1-node.lisp

Dependency

src/2-0-0-manager.lisp (file)

Parent

cl-cudd (system)

Location

src/2-0-1-node.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.17 cl-cudd/src/2-0-2-def-cudd-call.lisp

Dependency

src/2-0-1-node.lisp (file)

Parent

cl-cudd (system)

Location

src/2-0-2-def-cudd-call.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.18 cl-cudd/src/2-1-add.lisp

Dependency

src/2-0-2-def-cudd-call.lisp (file)

Parent

cl-cudd (system)

Location

src/2-1-add.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.19 cl-cudd/src/2-1-generic-complex.lisp

Dependency

src/2-1-add.lisp (file)

Parent

cl-cudd (system)

Location

src/2-1-generic-complex.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.20 cl-cudd/src/2-1-generic-simple.lisp

Dependency

src/2-1-generic-complex.lisp (file)

Parent

cl-cudd (system)

Location

src/2-1-generic-simple.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.21 cl-cudd/src/2-1-generic-swap.lisp

Dependency

src/2-1-generic-simple.lisp (file)

Parent

cl-cudd (system)

Location

src/2-1-generic-swap.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.22 cl-cudd/src/2-1-system.lisp

Dependency

src/2-1-generic-swap.lisp (file)

Parent

cl-cudd (system)

Location

src/2-1-system.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.23 cl-cudd/src/2-1-zdd-set-operations.lisp

Dependency

src/2-1-system.lisp (file)

Parent

cl-cudd (system)

Location

src/2-1-zdd-set-operations.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.24 cl-cudd/src/2-2-add-bdd-bridge.lisp

Dependency

src/2-1-zdd-set-operations.lisp (file)

Parent

cl-cudd (system)

Location

src/2-2-add-bdd-bridge.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.25 cl-cudd/src/2-2-zdd-bdd-bridge.lisp

Dependency

src/2-2-add-bdd-bridge.lisp (file)

Parent

cl-cudd (system)

Location

src/2-2-zdd-bdd-bridge.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.26 cl-cudd/src/2-3-reordering.lisp

Dependency

src/2-2-zdd-bdd-bridge.lisp (file)

Parent

cl-cudd (system)

Location

src/2-3-reordering.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.27 cl-cudd/src/2-4-hook.lisp

Dependency

src/2-3-reordering.lisp (file)

Parent

cl-cudd (system)

Location

src/2-4-hook.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.28 cl-cudd/src/2-5-utils.lisp

Dependency

src/2-4-hook.lisp (file)

Parent

cl-cudd (system)

Location

src/2-5-utils.lisp

Exported Definitions

Previous: , Up: Lisp files   [Contents][Index]

3.1.29 cl-cudd/src/2-6-dot.lisp

Dependency

src/2-5-utils.lisp (file)

Parent

cl-cudd (system)

Location

src/2-6-dot.lisp

Exported Definitions

plot (function)


Next: , Previous: , Up: Top   [Contents][Index]

4 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

4.1 cl-cudd

High-level interface

Source

src/0-package.lisp (file)

Nickname

cudd

Use List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

4.2 cl-cudd.baseapi

Low-level interface

Source

src/0-package.lisp (file)

Use List
Used By List

cl-cudd

Exported Definitions
Internal Definitions

Previous: , Up: Packages   [Contents][Index]

4.3 cl-cudd.swig-macros

Package containing utility functions for SWIG cffi interface generation

Source

src/0-package.lisp (file)

Use List
Used By List
Exported Definitions

lispify (function)


Next: , Previous: , Up: Top   [Contents][Index]

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

5.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.1 Constants

Constant: +cudd-cache-slots+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-maxindex+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-out-of-mem+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-residue-default+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-residue-msb+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-residue-tc+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-unique-slots+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-version+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +sizeof-int+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +sizeof-long+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +sizeof-void-p+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.2 Special variables

Special Variable: *after-gc-hook*

A list of function designators that is called before GC.

This list is managed by a lisp process, independently from Cudd_AddHook function.
WITH-MANAGER macro registers 4 global hooks which in turn call the functions in this special variable.

Package

cl-cudd

Source

src/2-4-hook.lisp (file)

Special Variable: *after-reordering-hook*

A list of function designators that is called before GC.

This list is managed by a lisp process, independently from Cudd_AddHook function.
WITH-MANAGER macro registers 4 global hooks which in turn call the functions in this special variable.

Package

cl-cudd

Source

src/2-4-hook.lisp (file)

Special Variable: *before-gc-hook*

A list of function designators that is called before GC.

This list is managed by a lisp process, independently from Cudd_AddHook function.
WITH-MANAGER macro registers 4 global hooks which in turn call the functions in this special variable.

Package

cl-cudd

Source

src/2-4-hook.lisp (file)

Special Variable: *before-reordering-hook*

A list of function designators that is called before GC.

This list is managed by a lisp process, independently from Cudd_AddHook function.
WITH-MANAGER macro registers 4 global hooks which in turn call the functions in this special variable.

Package

cl-cudd

Source

src/2-4-hook.lisp (file)

Special Variable: *manager*

The current manager.

Every function in this package works with this manager.

Bound to a global manager by default.

Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Special Variable: +agreement+

f op g, where f op g is f if f==g; background if f!=g.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +and+

Conjunction of two 0-1 ADDs.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +diff+

f op g , where f op g is plusinfinity if f=g; min(f,g) if f!=g.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +divide+

Integer and floating point division.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +equals+

f op g, where f op g is 1 if f==g, 0 otherwise

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +greater-than+

f > g, where f op g is 1 if f!=g; 0 otherwise

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +greater-than-equals+

1 if f >= g, 0 otherwise

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +less-than+

f < g, where f op g is 1 if f!=g; 0 otherwise

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +less-than-equals+

f <= g, where f op g is 1 if f!=g; 0 otherwise

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +log-x-y+

log f base g

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +maximum+

Integer and floating point maximum.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +minimum+

Integer and floating point minimum.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +minus+

Integer and floating point substraction.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +mod+

f modulo g

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +nand+

NAND of two 0-1 ADDs.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +nor+

NOR of two 0-1 ADDs.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +not-equals+

f op g, where f op g is 1 if f!=g; 0 otherwise

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +one-zero-maximum+

1 if f > g and 0 otherwise.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +or+

Disjunction of two 0-1 ADDs.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +plus+

Integer and floating point addition

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +pow+

f to the power of g

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +set-nz+

This operator sets f to the value of g wherever g != 0.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +threshold+

Threshold operator for Apply (f if f >=g; 0 if f<g)

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +times+

Integer and floating point multiplication.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +xnor+

XNOR of two 0-1 ADDs.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: +xor+

XOR of two 0-1 ADDs.

Package

cl-cudd

Source

src/2-1-add.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.3 Symbol macros

Symbol Macro: %mp%
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Expansion

(cl-cudd:manager-pointer cl-cudd:*manager*)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.4 Macros

Macro: do-ones (VAR DD) &body BODY

Runs a DFS on a ZDD. BODY is executed for each path in a ZDD to the constant 1-node.
Entire body is wrapped in a block NIL.
Symbol VAR is lexically bound to a bit vector which stores 1-bit when a zdd variable is true on the path. Returns the node.

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Macro: with-manager (&rest KEYS &key INITIAL-NUM-VARS INITIAL-NUM-VARS-Z INITIAL-NUM-SLOTS CACHE-SIZE MAX-MEMORY) &body BODY

Bind a freshly generated manager to *MANAGER*.
This macro is not so useful when multiple managers are in place.
Also, all data on the diagram are lost when it exits the scope of WITH-MANAGER.

* INITIAL-NUM-VARS and INITIAL-NUM-VARS-Z: are just initial values.
The number of variables in CUDD manager is automatically increased when it exceeds this value.

* INITIAL-NUM-SLOTS : initial size of the unique tables
* CACHE-SIZE : initial size of the cache
* MAX-MEMORY : target maximum memory occupation. If zero, CUDD decides suitable
values for the maximum size of the cache and for the limit for fast
unique table growth based on the available memory.

Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.5 Functions

Function: add->bdd ADD

Converts an ADD to a BDD by replacing all discriminants different from 0 with 1.

Package

cl-cudd

Source

src/2-2-add-bdd-bridge.lisp (file)

Function: add->bdd-interval ADD LOWER UPPER

Converts an ADD to a BDD by replacing all discriminants greater than or equal to lower and less than or equal to upper with 1, and all other discriminants with 0.

Package

cl-cudd

Source

src/2-2-add-bdd-bridge.lisp (file)

Function: add->bdd-strict-threshold ADD THRESHOLD

Converts an ADD to a BDD by replacing all discriminants STRICTLY greater than value with 1, and all other discriminants with 0.

Package

cl-cudd

Source

src/2-2-add-bdd-bridge.lisp (file)

Function: add->bdd-threshold ADD THRESHOLD

Converts an ADD to a BDD by replacing all discriminants greater than or equal to value with 1, and all other discriminants with 0.

Package

cl-cudd

Source

src/2-2-add-bdd-bridge.lisp (file)

Function: add-apply OP F G

Applies op to the corresponding discriminants of f and g.

The following operations are supported:

+XNOR+ (originally Cudd_addXnor) – XNOR of two 0-1 ADDs.
+XOR+ (originally Cudd_addXor) – XOR of two 0-1 ADDs.
+NOR+ (originally Cudd_addNor) – NOR of two 0-1 ADDs.
+NAND+ (originally Cudd_addNand) – NAND of two 0-1 ADDs.
+OR+ (originally Cudd_addOr) – Disjunction of two 0-1 ADDs.
+AGREEMENT+ (originally Cudd_addAgreement) – f op g, where f op g is f if f==g; background if f!=g. +DIFF+ (originally Cudd_addDiff) – f op g , where f op g is plusinfinity if f=g; min(f,g) if f!=g. +ONE-ZERO-MAXIMUM+ (originally Cudd_addOneZeroMaximum) – 1 if f > g and 0 otherwise.
+MAXIMUM+ (originally Cudd_addMaximum) – Integer and floating point maximum.
+MINIMUM+ (originally Cudd_addMinimum) – Integer and floating point minimum.
+MINUS+ (originally Cudd_addMinus) – Integer and floating point substraction.
+DIVIDE+ (originally Cudd_addDivide) – Integer and floating point division.
+SET-NZ+ (originally Cudd_addSetNZ) – This operator sets f to the value of g wherever g != 0. +THRESHOLD+ (originally Cudd_addThreshold) – Threshold operator for Apply (f if f >=g; 0 if f<g) +TIMES+ (originally Cudd_addTimes) – Integer and floating point multiplication.
+PLUS+ (originally Cudd_addPlus) – Integer and floating point addition

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: add-constant VALUE

Retrieves the ADD for constant c if it already exists, or creates a new ADD.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: add-negate NODE

Computes the additive inverse of an ADD.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: add-var MANAGER &key INDEX LEVEL

Creates a new ADD variable. At most one of index and level may be given.

If neither index nor level are given, then the new variable has an index equal
to the largest previous index plus 1.

If index is given, then retrieves the ADD variable with the index if it already exists, or creates a new ADD variable

If level is given, then the new variable has an index equal to the largest
previous index plus 1 and is positioned at the specified level in the order.

Returns a pointer to the new variable if successful;
invokes a signal otherwise.

The returned node is an internal node with THEN arc pointing to the constant 1
and ELSE arc pointing to the arithmetic zero.

Package

cl-cudd.baseapi

Source

src/1-2-1-base-add.lisp (file)

Function: bdd->add BDD

Converts a BDD to a 0-1 ADD

Package

cl-cudd

Source

src/2-2-add-bdd-bridge.lisp (file)

Function: bdd->zdd-cover BDD

Converts a BDD to a ZDD via 1-to-2 conversion for cover representation.
This function internally calls cudd-zdd-vars-from-bdd-vars and increases the ZDD variable table size as necessary.

Package

cl-cudd

Source

src/2-2-zdd-bdd-bridge.lisp (file)

Function: bdd->zdd-simple BDD

Converts a BDD to a ZDD via simple 1-to-1 variable conversion.
This function internally calls cudd-zdd-vars-from-bdd-vars and increases the ZDD variable table size as necessary.

Package

cl-cudd

Source

src/2-2-zdd-bdd-bridge.lisp (file)

Function: bdd-max-variables ()

Return the maximum number of BDD variables

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: bdd-var MANAGER &key INDEX LEVEL

Creates a new BDD variable. At most one of INDEX and LEVEL may be given.

If neither INDEX nor LEVEL are given, then the new variable has an index equal
to the largest previous index plus 1.

If index is given, then retrieves the BDD variable with the index if it already exists, or creates a new BDD variable

If level is given, then the new variable has an index equal to the largest
previous index plus 1 and is positioned at the specified level in the order.

Returns a pointer to the new variable if successful;
invokes a signal otherwise.

The returned node is an internal node with both outgoing arcs
pointing to the constant 1. The else arc is complemented.

Package

cl-cudd.baseapi

Source

src/1-2-1-base-bdd.lisp (file)

Function: bdd-variables ()

Return the number of BDD variables

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: bitvector->zdd BV

Converts a bit-vector to a zdd bit-by-bit.

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Function: cofactor F G

Computes the cofactor of f with respect to g; g must be the BDD or the ADD of a cube.

Package

cl-cudd

Source

src/2-1-generic-complex.lisp (file)

Function: count-leaves NODE

Counts the number of leaves in a DD.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: cube NODES TYPE

A cube, or product, is a boolean product of literals.
Build a cube from a list of nodes. TYPE defines which nodes we have in the list of nodes: ADD-NODE or BDD-NODE

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Function: cudd-add-agreement DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-apply DD ARG1 F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-bdd-interval DD F LOWER UPPER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-bdd-ith-bit DD F BIT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-bdd-pattern DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-bdd-strict-threshold DD F VALUE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-bdd-threshold DD F VALUE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-cmpl DD F

Computes the complement of an ADD a la C language:
The complement of 0 is 1 and the complement of everything else is 0.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-compose DD F G V
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-compute-cube DD VARS PHASE N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-const DD C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-constrain DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-cube MANAGER VARS

Build an add cube out of the variables.

Package

cl-cudd.baseapi

Source

src/1-2-1-base-add.lisp (file)

Function: cudd-add-diff DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-divide DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-eval-const DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-exist-abstract DD F CUBE

Abstracts all the variables in CUBE from the BDD (ADD) F by
taking the disjunction (sum) over all possible values taken by the variables. Returns the abstracted DD.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-find-max DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-find-min DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-general-vector-compose DD F VECTORON VECTOROFF
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-hamming DD XVARS YVARS NVARS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-harwell FP DD E X Y XN YN_ NX NY M N BX SX BY SY PR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-hook DD F WHERE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-ite DD F G H

Implements ITE(f,g,h). This procedure assumes that f is a 0-1 ADD.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-ite-constant DD F G H
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-ith-bit DD F BIT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-ith-var DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-leq DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-log DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-matrix-multiply DD A B Z NZ
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-maximum DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-minimum DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-minus DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-monadic-apply DD OP F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-nand DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-negate DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-new-var DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-new-var-at-level DD LEVEL
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-non-sim-compose DD F VECTOR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-nor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-one-zero-maximum DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-or DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-or-abstract DD F CUBE

Abstracts all the variables in CUBE from the DD F by
taking the disjunction over all possible values taken by the variables. Returns the abstracted DD.

If abstracting an ADD, we assume that it is an 0-1-ADD.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-outer-sum DD M R C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-permute DD NODE PERMUT

Given a permutation in sequence permut, creates a new DD with
permuted variables. There should be an entry in array permut for
each variable in the manager. The i-th entry of permut holds the
index of the variable that is to substitute the i-th variable.

For example, (2 0 1) results in a mapping

0 1 2
———
2 0 1

and CUDD performs iterative swaps between variables in order to achieve the specified results.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-plus DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-read FP DD E X Y XN YN_ NX NY M N BX SX BY SY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-residue DD N M OPTIONS TOP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-restrict DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-round-off DD F N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-scalar-inverse DD F EPSILON
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-set-nz DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-swap-variables DD F X Y N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-threshold DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-times DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-times-plus DD A B Z NZ
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-triangle DD F G Z NZ
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-univ-abstract DD F CUBE

Abstracts all the variables in CUBE from the DD F by
taking the conjunction over all possible values taken by the variables. Returns the abstracted DD.

If abstracting an ADD, we assume that it is an 0-1-ADD

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-vector-compose DD F VECTOR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-walsh DD X Y N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-xeqy DD N X Y
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-xnor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-add-xor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-add DIGITS A B SUM
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-compare DIGITSFIRST FIRST DIGITSSECOND SECOND
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-compare-ratios DIGITSFIRST FIRSTNUM FIRSTDEN DIGITSSECOND SECONDNUM SECONDDEN
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-copy DIGITS SOURCE DEST
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-count-minterm DD NODE NVARS DIGITS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-int-division DIGITS DIVIDEND DIVISOR QUOTIENT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-number-of-digits BINARYDIGITS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-power-of-two DIGITS NUMBER POWER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-print-decimal FP DIGITS NUMBER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-print-density FP DD NODE NVARS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-print-exponential FP DIGITS NUMBER PRECISION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-print-hex FP DIGITS NUMBER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-print-minterm FP DD NODE NVARS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-print-minterm-exp FP DD NODE NVARS PRECISION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-set-to-literal DIGITS NUMBER LITERAL
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-shift-right DIGITS IN A B
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-short-division DIGITS DIVIDEND DIVISOR QUOTIENT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-apa-subtract DIGITS A B DIFF
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-autodyn-disable DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-autodyn-disable-zdd DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-autodyn-enable DD METHOD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-autodyn-enable-zdd DD METHOD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-average-distance DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-adj-permute-x DD B X N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-and DD F G

Conjunction of two BDDs.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-and-abstract DD F G CUBE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-and-abstract-limit DD F G CUBE LIMIT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-and-limit DD F G LIMIT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-approx-conj-decomp DD F CONJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-approx-disj-decomp DD F DISJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-bind-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-boolean-diff DD F X
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-char-to-vect DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-clipping-and DD F G MAXDEPTH DIRECTION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-clipping-and-abstract DD F G CUBE MAXDEPTH DIRECTION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-closest-cube DD F G DISTANCE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-compose DD F G V
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-compute-cube DD VARS PHASE N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-constrain DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-constrain-decomp DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-correlation DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-correlation-weights DD F G PROB
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-cube MANAGER VARS

Build an bdd cube out of the variables.

Package

cl-cudd.baseapi

Source

src/1-2-1-base-bdd.lisp (file)

Function: cudd-bdd-exist-abstract DD F CUBE

Abstracts all the variables in CUBE from the DD F by
taking the disjunction over all possible values taken by the variables. Returns the abstracted DD.

If abstracting an ADD, we assume that it is an 0-1-ADD.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-gen-conj-decomp DD F CONJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-gen-disj-decomp DD F DISJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-intersect DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-ns-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-pi-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-ps-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-var-essential DD F ID PHASE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-var-hard-group DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-var-to-be-grouped DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-is-var-to-be-ungrouped DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-isop DD L U
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-ite DD F G H

Implements ITE(f,g,h).

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-ite-constant DD F G H
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-iter-conj-decomp DD F CONJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-iter-disj-decomp DD F DISJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-ith-var DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-leq DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-leq-unless DD F G D
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-licompaction DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-literal-set-intersection DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-make-prime DD CUBE F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-max-variables MANAGER

Return the maximum number of BDD variables

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-bdd-minimize DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-nand DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-new-var DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-new-var-at-level DD LEVEL
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-nor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-not MANAGER NODE

Complements a DD by flipping the complement attribute of the pointer (the least significant bit).

Package

cl-cudd.baseapi

Source

src/1-2-1-base-bdd.lisp (file)

Function: cudd-bdd-npand DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-or DD F G

Disjunction of two BDDs.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-permute DD NODE PERMUT

Given a permutation in sequence permut, creates a new DD with
permuted variables. There should be an entry in array permut for
each variable in the manager. The i-th entry of permut holds the
index of the variable that is to substitute the i-th variable.

For example, (2 0 1) results in a mapping

0 1 2
———
2 0 1

and CUDD performs iterative swaps between variables in order to achieve the specified results.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-pick-arbitrary-minterms DD F VARS N K
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-pick-one-cube DD NODE STRING
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-pick-one-minterm DD F VARS N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-print-cover DD L U
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-read FP DD E X Y NX NY M N BX SX BY SY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-read-pair-index DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-realign-disable DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-realign-enable DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-realignment-enabled DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-reset-var-to-be-grouped DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-restrict DD F C
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-ns-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-pair-index DD INDEX PAIRINDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-pi-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-ps-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-var-hard-group DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-var-to-be-grouped DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-set-var-to-be-ungrouped DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-squeeze DD L U
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-swap-variables DD F X Y N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-to-add DD B
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-to-cube-array DD CUBE ARRAY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-transfer DDSOURCE DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-unbind-var DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-univ-abstract DD F CUBE

Abstracts all the variables in CUBE from the DD F by
taking the conjunction over all possible values taken by the variables. Returns the abstracted DD.

If abstracting an ADD, we assume that it is an 0-1-ADD

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-var-conj-decomp DD F CONJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-var-disj-decomp DD F DISJUNCTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-var-is-bound DD INDEX
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-var-is-dependent DD F VAR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-var-map DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-variables MANAGER

Return the number of BDD variables

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-bdd-vector-compose DD F VECTOR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-xnor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-xor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-bdd-xor-exist-abstract DD F G CUBE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-biased-over-approx DD F B NUMVARS THRESHOLD QUALITY1 QUALITY0
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-biased-under-approx DD F B NUMVARS THRESHOLD QUALITY1 QUALITY0
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-flush DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-insert DD OP F G H DATA
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-insert-1 DD OP F DATA
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-insert-2 DD OP F G DATA
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-lookup DD OP F G H
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-lookup-1 DD OP F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-lookup-1-zdd DD OP F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-lookup-2 DD OP F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-lookup-2-zdd DD OP F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-lookup-zdd DD OP F G H
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cache-resize DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-check-keys DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-check-zero-ref DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-classify-support DD F G COMMON ONLYF ONLYG
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-clear-error-code DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cof-minterm DD NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cofactor DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-constant-lookup DD OP F G H
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-count-leaves NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-count-minterm DD NODE NVARS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-count-path NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-count-paths-to-non-zero NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cprojection DD R Y
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-cube-array-to-bdd DD ARRAY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dag-size NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dead-are-counted DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-debug-check DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-decreasing DD F I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-delayed-deref-bdd DD N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-density DD F NVARS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-deref NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-disable-garbage-collection DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-disable-reordering-reporting DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dump-blif DD N F INAMES ONAMES MNAME FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dump-blif-body DD N F INAMES ONAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dump-da-vinci DD N F INAMES ONAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dump-ddcal DD N F INAMES ONAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dump-dot DD N F INAMES ONAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dump-factored-form DD N F INAMES ONAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dxygtdxz DD N X Y Z
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-dxygtdyz DD N X Y Z
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-enable-garbage-collection DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-enable-reordering-reporting DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-epd-count-minterm DD NODE NVARS EPD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-equal-sup-norm DD F G TOLERANCE PR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-equiv-dc DD F G D
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-estimate-cofactor DD NODE I PHASE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-estimate-cofactor-simple NODE I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-eval DD F INPUTS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-expected-used-slots DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-find-essential DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-find-two-literal-clauses DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-first-cube DD F CUBE VALUE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-first-node DD F NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-first-prime DD L U CUBE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-free-tree DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-free-zdd-tree DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-garbage-collection-enabled DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-gen-free GEN
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-increasing DD F I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-indices-to-cube DD ARRAY N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-init NUMVARS NUMVARSZ NUMSLOTS CACHESIZE MAXMEMORY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-is-gen-empty GEN
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-is-in-hook DD F WHERE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-is-non-constant F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-iter-deref-bdd DD N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-largest-cube DD F LENGTH
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-make-bdd-from-zdd-cover DD NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-make-tree-node DD LOW SIZE TYPE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-make-zdd-tree-node DD LOW SIZE TYPE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-min-hamming-dist DD F MINTERM UPPERBOUND
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-new-apa-number DIGITS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-next-cube GEN CUBE VALUE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-next-node GEN NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-next-prime GEN CUBE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-node-else NODE
Function: (setf cudd-node-else) NEW-VALUE NODE

Return the else-child of an inner node.

Warning: Undefined behaviour if DD is a leaf node

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-index NODE

Return the index of an internal node.

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-is-constant NODE
Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-level DD NODE

Return the index of an internal node.

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-level-zdd DD NODE

Return the index of an internal node.

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-read-index NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-node-ref-count NODE

Return the reference count of the node.

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-then NODE
Function: (setf cudd-node-then) NEW-VALUE NODE

Return the then-child of an inner node.

Warning: Undefined behaviour if DD is a leaf node

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-node-value NODE
Function: (setf cudd-node-value) NEW-VALUE NODE

Return the value of a leaf node.

Warning: Undefined behaviour if DD is not a leaf node

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-over-approx DD F NUMVARS THRESHOLD SAFE QUALITY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-prime P
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-print-debug DD F N PR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-print-info DD FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-print-linear DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-print-minterm DD NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-print-two-literal-clauses DD F NAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-print-version FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-priority-select DD R X Y Z PI N ARG7
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-quit DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-random ()
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-arcviolation DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-background DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-cache-hits DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-cache-look-ups DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-cache-slots DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-cache-used-slots DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-dead DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-epsilon DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-error-code DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-garbage-collection-time DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-garbage-collections DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-groupcheck DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-inv-perm DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-inv-perm-zdd DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-ith-clause TLC I VAR1 VAR2 PHASE1 PHASE2
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-keys DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-linear DD X Y
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-logic-zero DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-loose-up-to DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-max-cache DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-max-cache-hard DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-max-growth DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-max-growth-alternate DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-max-live DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-max-memory DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-memory-in-use DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-min-dead DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-min-hit DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-minus-infinity DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-next-reordering DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-node-count DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-nodes-dropped DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-nodes-freed DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-number-xovers DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-one DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-peak-live-node-count DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-peak-node-count DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-perm DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-perm-zdd DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-plus-infinity DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-population-size DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-recomb DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-recursive-calls DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-reordering-cycle DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-reordering-time DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-reorderings DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-sift-max-swap DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-sift-max-var DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-size DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-slots DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-stderr DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-stdout DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-swap-steps DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-symmviolation DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-tree DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-unique-links DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-unique-look-ups DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-used-slots DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-vars DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-zdd-one DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-zdd-size DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-zdd-tree DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-read-zero DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-recursive-deref DD N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-recursive-deref-zdd DD N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-reduce-heap DD HEURISTIC MINSIZE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-ref N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-regular NODE
Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-remap-over-approx DD F NUMVARS THRESHOLD QUALITY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-remap-under-approx DD F NUMVARS THRESHOLD QUALITY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-remove-hook DD F WHERE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-reordering-reporting DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-reordering-status DD METHOD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-reordering-status-zdd DD METHOD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-arcviolation DD ARCVIOLATION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-background DD BCK
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-epsilon DD EP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-groupcheck DD GC
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-loose-up-to DD LUT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-max-cache-hard DD MC
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-max-growth DD MG
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-max-growth-alternate DD MG
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-max-live DD MAXLIVE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-max-memory DD MAXMEMORY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-min-hit DD HR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-next-reordering DD NEXT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-number-xovers DD NUMBERXOVERS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-population-size DD POPULATIONSIZE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-recomb DD RECOMB
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-reordering-cycle DD CYCLE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-sift-max-swap DD SMS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-sift-max-var DD SMV
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-stderr DD FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-stdout DD FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-symmviolation DD SYMMVIOLATION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-tree DD TREE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-var-map DD X Y N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-set-zdd-tree DD TREE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-sharing-size NODEARRAY N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-shortest-length DD F WEIGHT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-shortest-path DD F WEIGHT SUPPORT LENGTH
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-shuffle-heap DD PERMUTATION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-solve-eqn DD F Y G YINDEX N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-split-set DD S XVARS N M
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-srandom SEED
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-std-post-reord-hook DD STR DATA
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-std-pre-reord-hook DD STR DATA
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-subset-compress DD F NVARS THRESHOLD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-subset-heavy-branch DD F NUMVARS THRESHOLD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-subset-short-paths DD F NUMVARS THRESHOLD HARDLIMIT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-subset-with-mask-vars DD F VARS NVARS MASKVARS MVARS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-superset-compress DD F NVARS THRESHOLD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-superset-heavy-branch DD F NUMVARS THRESHOLD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-superset-short-paths DD F NUMVARS THRESHOLD HARDLIMIT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-support DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-support-index DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-support-size DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-symm-profile DD LOWER UPPER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-tlc-info-free T_ARG0
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-turn-off-count-dead DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-turn-on-count-dead DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-under-approx DD F NUMVARS THRESHOLD SAFE QUALITY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-unique-inter DD ID THEN ELSE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-vector-support DD F N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-vector-support-index DD F N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-vector-support-size DD F N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-verify-sol DD F G YINDEX N
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-xeqy DD N X Y
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-xgty DD N Z X Y
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-change DD P VAR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-complement DD NODE

Complements a unate ZDD.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-count DD P
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-count-double DD P
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-count-minterm DD NODE PATH
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-cover-path-to-string DD PATH STR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-dag-size P_NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-diff DD P Q
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-diff-const DD P Q
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-divide DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-divide-f DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-dump-dot DD N F INAMES ONAMES FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-empty-belongs DD NODE-PTR
Package

cl-cudd.baseapi

Source

src/1-2-1-base-zdd.lisp (file)

Function: cudd-zdd-first-path DD F PATH
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-get-node DD ID THEN ELSE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-intersect DD P Q
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-isop DD L U ZDD_I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-ite DD F G H

Implements ITE(f,g,h).

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-ith-var DD I
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-max-variables MANAGER

Return the maximum number of ZDD variables

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-zdd-next-path GEN PATH
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-port-from-bdd DD B
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-port-to-bdd DD F
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-print-cover DD NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-print-debug DD F N PR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-print-minterm DD NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-print-subtable DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-product DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-read-node-count DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-realign-disable DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-realign-enable DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-realignment-enabled DD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-reduce-heap DD HEURISTIC MINSIZE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-shuffle-heap DD PERMUTATION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-subset-0 DD P VAR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-subset-1 DD P VAR
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-symm-profile DD LOWER UPPER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-unate-product DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-union DD P Q
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-unique-inter DD ID THEN ELSE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-variables MANAGER

Return the number of ZDD variables

Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Function: cudd-zdd-vars-from-bdd-vars DD MULTIPLICITY
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-weak-div DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-weak-div-f DD F G
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: dag-size NODE

Counts the number of nodes in a DD.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: disable-gc ()

Disables garbage collection. Garbage
collection is initially enabled. This function may be called to disable it. However, garbage collection will still occur when a new node must be created and no memory is left, or when garbage collection is required for correctness. (E.g., before reordering.)

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: disable-reordering ()

Disables automatic dynamic reordering of BDDs and ADDs.

@see Cudd_AutodynEnable Cudd_ReorderingStatus Cudd_AutodynDisableZdd

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: dump-dot MANAGER NODES PATHNAME &key INAMES ONAMES

Writes a file representing the argument DDs in a format suitable
for the graph drawing program dot. Returns nil.

dump-dot uses a minimal unique subset of the
hexadecimal address of a node as name for it. If the argument inames
is non-nil, it is assumed to hold the the names of the
inputs. Similarly for onames. dump-dot uses the following
convention to draw arcs:

* solid line: THEN arcs;
* dotted line: complement arcs;
* dashed line: regular ELSE arcs.

The dot options are chosen so that the drawing fits on a letter-size sheet.

Package

cl-cudd.baseapi

Source

src/1-3-dddmp.lisp (file)

Function: dump-mtr-tree TREE ACC
Package

cl-cudd.baseapi

Source

src/1-3-dddmp.lisp (file)

Function: dump-variable-group-hierarchy ()
Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: dump-zdd-variable-group-hierarchy ()
Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: enable-gc ()

Enables garbage collection. Garbage collection is
initially enabled. Therefore it is necessary to call this function only if garbage collection has been explicitly disabled.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: enable-reordering &optional METHOD

Enables automatic dynamic reordering of BDDs and ADDs.

Parameter method is used to determine the method used for reordering. If CUDD_REORDER_SAME is passed, the method is unchanged.

@see Cudd_AutodynDisable Cudd_ReorderingStatus Cudd_AutodynEnableZdd

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: epsilon ()

Returns a node with value infinity.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: follow-diagram NODE THING

Follow the decision diagram according to the bits in THING, which is either an integer or a bit vector. Follow the then-branch when 1, else-branch otherwise.

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Function: info ()
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Function: integer->zdd INT

Converts an integer to a zdd bit-by-bit.

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Function: integer->zdd-binate INT

Converts an integer to a zdd bit-by-bit, in a binate representation. (ith bit is encoded into 2i and 2i+1 bits)

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Function: integer->zdd-unate INT

Converts an integer to a zdd bit-by-bit.

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Function: lispify NAME FLAG &optional PACKAGE
Package

cl-cudd.swig-macros

Source

src/1-1-0-swig-macros.lisp (file)

Function: make-var TYPE &key LEVEL INDEX

Creates a new DD variable (projection function). At most one of index and level may be given.

If neither index nor level are given, then the new variable has an index equal
to the largest previous index plus 1.

If index is given, then retrieves the DD variable with the index if it already exists,
or creates a new DD variable.

If level is given, then the new variable has an index equal to the largest
previous index plus 1 and is positioned at the specified level in the order.

Returns a pointer to the new variable if successful;
invokes a signal otherwise.
The returned node has the following properties depending on the type:

type = BDD-NODE: The returned node is an internal node with both outgoing arcs
pointing to the constant 1. The else arc is complemented.

type = ADD-NODE: The returned node is an internal node with THEN arc pointing to the constant 1 and ELSE arc pointing to the arithmetic zero.

type = ZDD-NODE: The returned node is the root of N+1 nodes,
where N is the maximum number of variables currently recognized by the manager.
This is because that’s the way ZDD represents a projection function of a single variable. When index = 2 and N = 4, the resulting ZDD is as follows:

then
(root)-(0)=(1)=(2)-(3)=(4)=[1]
+———-[0]
else

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Function: manager-pointer INSTANCE
Function: (setf manager-pointer) VALUE INSTANCE
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Function: map-ones NODE FN

Runs a DFS on a ZDD. It calls the given callback function when it reaches the 1-node. The callback is called with an argument containing a bit vector which stores 1-bit. Returns the node.

Package

cl-cudd

Source

src/2-5-utils.lisp (file)

Function: minus-infinity ()

Returns a node with value -infinity.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: mtr-alloc-node ()
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-copy-tree NODE EXPANSION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-create-first-child PARENT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-create-last-child PARENT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-dealloc-node NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-dissolve-group GROUP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-find-group ROOT LOW HIGH
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-free-tree NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-init-group-tree LOWER
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-init-tree ()
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-make-first-child PARENT CHILD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-make-group ROOT LOW HIGH FLAGS
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-make-last-child PARENT CHILD
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-make-next-sibling FIRST SECOND
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-print-grouped-order ROOT INVPERM FP
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-print-groups ROOT SILENT
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-print-tree NODE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-read-groups FP NLEAVES
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-reorder-groups TREENODE PERMUTATION
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: mtr-swap-groups FIRST SECOND
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: new-cached-operator ARITY

Returns a new pointer. Use it for the second value to cudd-cache-insert etc.

Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: node-constant-p NODE

return t if the node is constant, nil otherwise

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: node-count ()

Reports the number of nodes in BDDs and ADDs.

This number does not include the isolated projection
functions and the unused constants. These nodes that are not counted are not part of the DDs manipulated by the application.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: node-else TYPE NODE

Return the else child of an inner node

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Function: node-equal A B

Return true iff A and B are the same graph.

Because CUDD caches all diagrams, this is true if and only if their pointers are the same.

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: node-index NODE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: node-pointer INSTANCE
Function: (setf node-pointer) VALUE INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: node-then TYPE NODE

Return the then child of an inner node

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Function: node-value NODE

Return the node value of a constant node

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: one-node TYPE

return the one node.

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Function: peak-live-node-count ()

Reports the peak number of live nodes.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: peak-node-count ()

Reports the peak number of nodes.

This number includes node on the free list. At the peak,
the number of nodes on the free list is guaranteed to be less than DD_MEM_CHUNK.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: plot PATHNAME NODE
Package

cl-cudd

Source

src/2-6-dot.lisp (file)

Function: plus-infinity ()

Returns a node with value infinity.

Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: print-info MANAGER PATHNAME
Package

cl-cudd.baseapi

Source

src/1-3-dddmp.lisp (file)

Function: reduce-heap &optional METHOD MINSIZE

Initiates variable reordering explicitly (for bdd/add).
MINSIZE specifies the lower threshold of the number of the (live/referenced) nodes to initiate reordering: Number of nodes should be larger than this value.
Default value is 33000000. In CUDD each node consumes 3 words, so this threshold corresponds to 100MB.

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: reordering-status ()

Reports the status of automatic dynamic reordering of BDDs and ADDs. Return T if automatic reordering is enabled. NIL otherwise.
Secondary value returns the current reordering method.

@see Cudd_AutodynDisableZdd Cudd_ReorderingStatusZdd Cudd_AutodynEnable

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: set-variable-group TYPE &key FROM TO SIZE

Defines a variable group in the current manager. It calls cudd-make-tree-node (Cudd_MakeTreeNode). At least 2 of FROM, TO or SIZE should be specified.

:MTR-DEFAULT requires the variables within the group to be contiguous after the reordering. :MTR-FIXED requires the variables within the group to be unaffected by the reordering.
In any cases, groups could be reordered.

If the new group intersects an existing group, it must
either contain it or be contained by it.

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: set-zdd-variable-group TYPE &key FROM TO SIZE

Defines a variable group in the current manager (for zdd).
It calls cudd-make-zdd-tree-node (Cudd_MakeZddTreeNode).
At least 2 of FROM, TO or SIZE should be specified.

:MTR-DEFAULT requires the variables within the group to be contiguous after the reordering. :MTR-FIXED requires the variables within the group to be unaffected by the reordering. In any cases, groups could be reordered.

If the new group intersects an existing group, it must
either contain it or be contained by it.

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: zdd->bdd-cover ZDD

Converts a BDD to a ZDD via 1-to-2 conversion for cover representation.

Package

cl-cudd

Source

src/2-2-zdd-bdd-bridge.lisp (file)

Function: zdd->bdd-simple ZDD

Converts a ZDD to a BDD via simple 1-to-1 variable conversion.

Package

cl-cudd

Source

src/2-2-zdd-bdd-bridge.lisp (file)

Function: zdd-change ZDD VAR

Flip the membership of variable VAR in ZDD.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-count-minterm F &optional SUPPORT-SIZE

Computes the number of minterms in f.
SUPPORT-SIZE specifies the number of variables in the support of f, i.e., the number of the variables that F essentially depends on.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-difference F G

Computes the difference of F and G.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-disable-reordering ()

Disables automatic dynamic reordering of ZDDs.

@see Cudd_AutodynEnableZdd Cudd_ReorderingStatusZdd Cudd_AutodynDisable

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: zdd-divide F G

Computes the weak division of F by G (assumes unate representation). cf. Shin-ichi Minato: Zero-Suppressed BDDs and Their Applications

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-divide-binate F G

Computes the weak division of F by G (assumes binate representation). cf. Shin-ichi Minato: Zero-Suppressed BDDs and Their Applications

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-divide-unate F G

Computes the weak division of F by G (assumes unate representation). cf. Shin-ichi Minato: Zero-Suppressed BDDs and Their Applications

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-dont-care ZDD VAR

Direct the both arcs of the VAR’th node to the next index.
If it does not exist (i.e. then-arc points to 0 and zero-suppressed) creates a new node.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-dump-dot MANAGER NODES PATHNAME &key INAMES ONAMES

Writes a file representing the argument DDs in a format suitable
for the graph drawing program dot. Returns nil.

dump-dot uses a minimal unique subset of the
hexadecimal address of a node as name for it. If the argument inames
is non-nil, it is assumed to hold the the names of the
inputs. Similarly for onames. dump-dot uses the following
convention to draw arcs:

* solid line: THEN arcs;
* dotted line: complement arcs;
* dashed line: regular ELSE arcs.

The dot options are chosen so that the drawing fits on a letter-size sheet.

Package

cl-cudd.baseapi

Source

src/1-3-dddmp.lisp (file)

Function: zdd-emptyset ()

Returns an empty set {}.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-enable-reordering &optional METHOD

Enables automatic dynamic reordering of ZDDs.

Parameter method is used to determine the method used for reordering. If CUDD_REORDER_SAME is passed, the method is unchanged.

@see Cudd_AutodynDisableZdd Cudd_ReorderingStatusZdd Cudd_AutodynEnable

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: zdd-intersection F G

Computes the intersection of F and G.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-intersection* FIRST &rest ARGS

Performs zdd-intersection on all variables.
Null intersection (union of all combinations) is undefined because ZDD has no upper limit on the number of variables.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-max-variables ()

Return the maximum number of ZDD variables

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: zdd-node-count ()

Reports the number of nodes in ZDDs.

This number always includes the two constants 1 and 0.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: zdd-offset ZDD VAR

selects the subset of the combinations each of which does not include var. (same as zdd-subset-1)

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-onset ZDD VAR

Computes the subset of S that contains element VAR (integer), and remove VAR from each combination. (same as zdd-subset-1)

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-product F G

Computes the product of F by G (assumes unate representation). cf. Shin-ichi Minato: Zero-Suppressed BDDs and Their Applications

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-product-binate F G

Computes the product of F by G (assumes binate representation). cf. Shin-ichi Minato: Zero-Suppressed BDDs and Their Applications

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-product-unate F G

Computes the product of F by G (assumes unate representation). cf. Shin-ichi Minato: Zero-Suppressed BDDs and Their Applications

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-reduce-heap &optional METHOD MINSIZE

Initiates variable reordering explicitly (for zdd).
MINSIZE specifies the lower threshold of the number of the (live/referenced) nodes to initiate reordering: Number of nodes should be larger than this value.
Default value is 33000000. In CUDD each node consumes 3 words, so this threshold corresponds to 100MB.

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: zdd-remainder F G

Computes the remainder of division of F by G (assumes unate representation).

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-remainder-binate F G

Computes the remainder of division of F by G (assumes binate representation).

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-remainder-unate F G

Computes the remainder of division of F by G (assumes unate representation).

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-reordering-status ()

Reports the status of automatic dynamic reordering of ZDDs.
Return T if automatic reordering is enabled. NIL otherwise.
Secondary value returns the current reordering method.

@see Cudd_AutodynEnableZdd Cudd_ReorderingStatusZdd Cudd_AutodynDisableZdd

Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Function: zdd-set ZDD VAR

Add a variable VAR; i.e. force the value of VAR to be true

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-set-of-emptyset ()

Returns a set of an empty set {{}}.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-singleton VAR

Returns {{var}}. This is not equivalent to (make-var ’zdd-node :index var), see make-var documentation.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-subset-0 ZDD VAR

Computes the subset of S that does not contain element VAR (integer).

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-subset-1 ZDD VAR

Computes the subset of S that contains element VAR (integer), and remove VAR from each combination.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-supset F G

Returns the subset of F whose element is a superset of at least one element of G. {p ∈ P | ∃q ∈ Q p ⊇ q}

Coudert, Olivier, Jean Christophe Madre, and Henri Fraisse. "A new viewpoint on two-level logic minimization." Design Automation, 1993. 30th Conference on.

Reference implementation is available in Extra libnrary by Alan Mishchenko. https://people.eecs.berkeley.edu/~alanmi/research/extra/

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-union F G

Computes the union of F and G.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-union* &rest ARGS

Performs zdd-union on all variables.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-unset ZDD VAR

Remove a variable VAR; i.e. force the value of VAR to be false

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: zdd-var MANAGER &key INDEX LEVEL

Creates a new ZDD variable. At most one of INDEX and LEVEL may be given.

If neither INDEX nor LEVEL are given, then the new variable has an index equal
to the largest previous index plus 1.

If index is given, then retrieves the BDD variable with the index if it already exists, or creates a new BDD variable

If level is given, then the new variable has an index equal to the largest
previous index plus 1 and is positioned at the specified level in the order.

Returns a pointer to the new variable if successful;
invokes a signal otherwise.

type = ZDD-NODE: The returned node is the root (index 0) of N+1 nodes,
where N is the maximum number of variables currently recognized by the manager.
This is because that’s the way ZDD represents a projection function of a single variable. When index = 2 and N = 4, the resulting ZDD is as follows:

then
(root)-(0)=(1)=(2)-(3)=(4)=[1]
+———-[0]
else

Package

cl-cudd.baseapi

Source

src/1-2-1-base-zdd.lisp (file)

Function: zdd-variables ()

Return the number of ZDD variables

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: zero-node TYPE

Return the zero node for the correspoinding type. BDD: the logical zero node (boolean 0).
ADD: the arithmetic zero node (0.0d0).
ZDD: the arithmetic zero node (0.0d0). (Same as ADD)

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.6 Generic functions

Generic Function: if-then-else F G H

Return a new DD-node for with F being the top-node, G being the then-branch and H being the else branch

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Methods
Method: if-then-else (F zdd-node) (G zdd-node) (H zdd-node)
Method: if-then-else (F bdd-node) (G bdd-node) (H bdd-node)
Method: if-then-else (F add-node) (G add-node) (H add-node)
Generic Function: node-and F G

Conjunction of two 0-1 ADDs or two BDDs.

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Methods
Method: node-and (F bdd-node) (G bdd-node)
Method: node-and (F add-node) (G add-node)
Generic Function: node-complement NODE

Computes the complement of a node a la C language:
The complement of 0 is 1 and the complement of everything else is 0.

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Methods
Method: node-complement (NODE zdd-node)
Method: node-complement (NODE bdd-node)
Method: node-complement (NODE add-node)
Generic Function: node-or F G

Disjunction of two 0-1 ADDs or two BDDs.

Package

cl-cudd

Source

src/2-1-generic-simple.lisp (file)

Methods
Method: node-or (F bdd-node) (G bdd-node)
Method: node-or (F add-node) (G add-node)
Generic Function: or-abstract F CUBE

Abstracts all the variables in CUBE from the DD F by
taking the disjunction over all possible values taken by the variables. Returns the abstracted DD.

If abstracting an ADD, we assume that it is an 0-1-ADD.

Package

cl-cudd

Source

src/2-1-generic-complex.lisp (file)

Methods
Method: or-abstract (F bdd-node) (CUBE bdd-node)
Method: or-abstract (F add-node) (CUBE add-node)
Generic Function: sum-abstract F CUBE

Abstracts all the variables in CUBE from the BDD (ADD) F by
taking the disjunction (sum) over all possible values taken by the variables. Returns the abstracted DD.

Package

cl-cudd

Source

src/2-1-generic-complex.lisp (file)

Methods
Method: sum-abstract (F bdd-node) (CUBE bdd-node)
Method: sum-abstract (F add-node) (CUBE add-node)
Generic Function: swap-variables NODE X Y

Swaps two sets of variables of the same size (x and y) in the ADD f. The size is given by n. The two sets of variables are assumed to be disjoint.

Package

cl-cudd

Source

src/2-1-generic-swap.lisp (file)

Methods
Method: swap-variables (NODE bdd-node) X Y
Method: swap-variables (NODE add-node) X Y
Generic Function: univ-abstract F CUBE

Abstracts all the variables in CUBE from the DD F by
taking the conjunction over all possible values taken by the variables. Returns the abstracted DD.

If abstracting an ADD, we assume that it is an 0-1-ADD

Package

cl-cudd

Source

src/2-1-generic-complex.lisp (file)

Methods
Method: univ-abstract (F bdd-node) (CUBE bdd-node)
Method: univ-abstract (F add-node) (CUBE add-node)

Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.7 Conditions

Condition: cudd-null-manager-error ()
Package

cl-cudd.baseapi

Source

src/1-0-1-conditions.lisp (file)

Direct superclasses

cudd-error (condition)

Condition: cudd-null-pointer-error ()
Package

cl-cudd.baseapi

Source

src/1-0-1-conditions.lisp (file)

Direct superclasses

cudd-error (condition)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

5.1.8 Structures

Structure: add-node ()

Node of an algebraic decision diagram (ADD)

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Direct superclasses

node (structure)

Direct methods
Structure: bdd-node ()

Node of a binary decision diagram (BDD)

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Direct superclasses

node (structure)

Direct methods
Structure: manager ()

A boxed CUDD manager class

Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: pointer
Type

cffi-sys:foreign-pointer

Initform

(error "manager needs to wrap a pointer")

Readers

manager-pointer (function)

Writers

(setf manager-pointer) (function)

Structure: node ()

A boxed CUDD node class. Top class of all CUDD nodes.

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Direct superclasses

structure-object (structure)

Direct subclasses
Direct methods

print-object (method)

Direct slots
Slot: pointer
Type

cffi-sys:foreign-pointer

Initform

(cl-cudd::required)

Readers

node-pointer (function)

Writers

(setf node-pointer) (function)

Structure: zdd-node ()

Node of an zero-suppressed decision diagram (ZDD)

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Direct superclasses

node (structure)

Direct methods

Previous: , Up: Exported definitions   [Contents][Index]

5.1.9 Types

Type: bdd-reordering-method ()
Package

cl-cudd

Source

src/2-3-reordering.lisp (file)

Type: mtr-flags ()
Package

cl-cudd.baseapi

Source

src/2-3-reordering.lisp (file)

Type: mtr-type ()
Package

cl-cudd.baseapi

Source

src/2-3-reordering.lisp (file)

Type: zdd-reordering-method ()
Package

cl-cudd

Source

src/2-3-reordering.lisp (file)


Previous: , Up: Definitions   [Contents][Index]

5.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.1 Constants

Constant: +cudd-false+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: +cudd-true+
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-binary-operator
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-cudd-value-type
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-cache
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-children
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-gen
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-half-word
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-hash-item
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-hash-table
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-hook
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-level-queue
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-local-cache
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-local-cahce-item
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-manager
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-node
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-queue-item
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-dd-subtable
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-index-key
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-move
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-mtr-half-word
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-mtr-node
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-tertiary-operator
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Constant: size-of-unary-operator
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.2 Special variables

Special Variable: *add-apply-doc*
Package

cl-cudd

Source

src/2-1-add.lisp (file)

Special Variable: *add-operators*
Package

cl-cudd

Source

src/2-1-add.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.3 Macros

Macro: def-cudd-call GENERIC-NAME ((&rest FUNCTIONS) &rest ARGUMENTS) &rest DOCUMENTATION
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Macro: define-simple-managed-function NAME INTERFACE &body DOC
Package

cl-cudd

Source

src/2-1-system.lisp (file)

Macro: with-seq-as-array ARRAY SEQ &body BODY
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Macro: zdd-ref-let* BINDINGS &body BODY

For internal use only. Bind variables like let*, call cudd-ref, execute body,
then cleanup the node calling cudd-recursive-deref-zdd in unwind-protect.

However each binding may have an optional third element i.e. (var val no-deref), where no-deref, when evaluates to non-nil, disables the call to cudd-recursive-deref-zdd.

Finally, a binding could be just t, which means the value of this form is dereferenced (cudd-deref) once AFTER all unwind-protect form is exited.

Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.4 Functions

Function: add-function GENERIC-NAME ARGUMENTS ADD-FUNCTION DONT-WRAP
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: add-node-p OBJECT
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: add-node-pointer INSTANCE
Function: (setf add-node-pointer) VALUE INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: add-swap-variables MGR NODE X Y

Swaps two sets of variables of the same size (x and y) in the ADD f. The size is given by n. The two sets of variables are assumed to be disjoint.

Package

cl-cudd

Source

src/2-1-generic-swap.lisp (file)

Function: bdd-function GENERIC-NAME ARGUMENTS BDD-FUNCTION DONT-WRAP
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: bdd-node-p OBJECT
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: bdd-node-pointer INSTANCE
Function: (setf bdd-node-pointer) VALUE INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: bdd-swap-variables MGR NODE X Y

Swaps two sets of variables of the same size (x and y) in the ADD f. The size is given by n. The two sets of variables are assumed to be disjoint.

Package

cl-cudd

Source

src/2-1-generic-swap.lisp (file)

Function: common-function GENERIC-NAME ARGUMENTS FUNCTION DONT-WRAP
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: copy-add-node INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: copy-bdd-node INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: copy-manager INSTANCE
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Function: copy-node INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: copy-zdd-node INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: cudd-out-of-mem SIZE
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Function: cudd-zdd-supset DD F G
Package

cl-cudd

Source

src/2-1-zdd-set-operations.lisp (file)

Function: fclose FILE
Package

cl-cudd.baseapi

Source

src/1-3-dddmp.lisp (file)

Function: find-2list ITEM 2LIST
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: fopen PATH MODE
Package

cl-cudd.baseapi

Source

src/1-3-dddmp.lisp (file)

Function: generic-cudd-function GENERIC-NAME ARGUMENTS GENERIC-DOCU
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: make-add-node &key (POINTER POINTER)
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: make-bdd-node &key (POINTER POINTER)
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: make-manager &key (POINTER POINTER)
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Function: make-node &key (POINTER POINTER)
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: make-zdd-node &key (POINTER POINTER)
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: manager-init &key INITIAL-NUM-VARS INITIAL-NUM-VARS-Z INITIAL-NUM-SLOTS CACHE-SIZE MAX-MEMORY
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Function: manager-p OBJECT
Package

cl-cudd

Source

src/2-0-0-manager.lisp (file)

Function: node-function GENERIC-NAME ARGUMENTS NATIVE-FUNCTION NODE-TYPE DONT-WRAP-RESULT
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: node-p OBJECT
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: probe-symbol NAME SYM
Package

cl-cudd

Source

src/2-1-add.lisp (file)

Function: required ()
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: set-add-docu ADD-FUNCTION ADD-DOCU
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: set-background BCK

Sets the background constant of the manager. It assumes that the DdNode pointer bck is already referenced.

Package

cl-cudd

Source

src/2-1-system.lisp (file)

Function: set-bdd-docu BDD-FUNCTION BDD-DOCU
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: set-common-docu FUNCTION DOCU
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: set-zdd-docu ZDD-FUNCTION ZDD-DOCU
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: wrap-and-finalize POINTER TYPE &optional FINALIZE REF

Wrap the given pointer in a node-node of type TYPE. Set the finalizer to call cudd-recursive-deref.

Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: zdd-function GENERIC-NAME ARGUMENTS ZDD-FUNCTION DONT-WRAP
Package

cl-cudd

Source

src/2-0-2-def-cudd-call.lisp (file)

Function: zdd-node-p OBJECT
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)

Function: zdd-node-pointer INSTANCE
Function: (setf zdd-node-pointer) VALUE INSTANCE
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.5 Generic functions

Generic Function: node-permute NODE PERMUTATION

Given a permutation in sequence permut, creates a new DD with
permuted variables. There should be an entry in array permut for
each variable in the manager. The i-th entry of permut holds the
index of the variable that is to substitute the i-th variable.

For example, (2 0 1) results in a mapping

0 1 2
———
2 0 1

and CUDD performs iterative swaps between variables in order to achieve the specified results.

Package

cl-cudd

Source

src/2-1-generic-swap.lisp (file)

Methods
Method: node-permute NODE (PERMUTATION sequence) around
Method: node-permute (NODE bdd-node) PERMUTATION
Method: node-permute (NODE add-node) PERMUTATION

Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.6 Conditions

Condition: cudd-condition ()
Package

cl-cudd.baseapi

Source

src/1-0-1-conditions.lisp (file)

Direct superclasses

condition (condition)

Direct subclasses

cudd-error (condition)

Condition: cudd-error ()
Package

cl-cudd.baseapi

Source

src/1-0-1-conditions.lisp (file)

Direct superclasses
Direct subclasses
Direct slots
Slot: code
Initargs

:code


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.2.7 Classes

Class: dd-cache-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-children-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-gen-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-hash-item-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-hash-table-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-hook-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-level-queue-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-local-cache-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-local-cahce-item-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-manager-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-node-tclass ()
Package

cl-cudd.baseapi

Source

src/1-1-2-fun.lisp (file)

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-queue-item-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: dd-subtable-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: index-key-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: manager-type ()
Package

cl-cudd.baseapi

Source

src/1-0-2-translators.lisp (file)

Direct superclasses

enhanced-foreign-type (class)

Direct methods
  • expand-from-foreign (method)
  • expand-to-foreign (method)
Direct Default Initargs
InitargValue
:actual-type(quote (:pointer))
Class: move-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: mtr-node-tclass ()
Package

cl-cudd.baseapi

Source

/home/quickbuilder/.cache/common-lisp/sbcl-1.3.21-linux-x64/home/quickbuilder/quicklisp/dists/quicklisp/software/cl-cudd-20170630-git/src/1-1-1-grovel.processed-grovel-file

Direct superclasses
  • translatable-foreign-type (class)
  • foreign-struct-type (class)
Class: node-type ()
Package

cl-cudd.baseapi

Source

src/1-0-2-translators.lisp (file)

Direct superclasses

enhanced-foreign-type (class)

Direct methods
  • expand-from-foreign (method)
  • expand-to-foreign (method)
Direct Default Initargs
InitargValue
:actual-type(quote (:pointer))
Class: unsafe-node-type ()
Package

cl-cudd.baseapi

Source

src/1-0-2-translators.lisp (file)

Direct superclasses

enhanced-foreign-type (class)

Direct Default Initargs
InitargValue
:actual-type(quote (:pointer))

Previous: , Up: Internal definitions   [Contents][Index]

5.2.8 Types

Type: managed-node-operation ()
Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Type: node-operation ()
Package

cl-cudd.baseapi

Source

src/1-2-0-base-common.lisp (file)

Type: node-type ()
Package

cl-cudd

Source

src/2-0-1-node.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   C   F   L  
Index Entry  Section

C
cl-cudd.asd: The cl-cudd<dot>asd file
cl-cudd.build.asd: The cl-cudd<dot>build<dot>asd file
cl-cudd/src/0-package.lisp: The cl-cudd/src/0-package<dot>lisp file
cl-cudd/src/1-0-0-library.lisp: The cl-cudd/src/1-0-0-library<dot>lisp file
cl-cudd/src/1-0-1-conditions.lisp: The cl-cudd/src/1-0-1-conditions<dot>lisp file
cl-cudd/src/1-0-2-translators.lisp: The cl-cudd/src/1-0-2-translators<dot>lisp file
cl-cudd/src/1-1-0-swig-macros.lisp: The cl-cudd/src/1-1-0-swig-macros<dot>lisp file
cl-cudd/src/1-1-1-grovel.lisp: The cl-cudd/src/1-1-1-grovel<dot>lisp file
cl-cudd/src/1-1-2-fun.lisp: The cl-cudd/src/1-1-2-fun<dot>lisp file
cl-cudd/src/1-2-0-base-common.lisp: The cl-cudd/src/1-2-0-base-common<dot>lisp file
cl-cudd/src/1-2-1-base-add.lisp: The cl-cudd/src/1-2-1-base-add<dot>lisp file
cl-cudd/src/1-2-1-base-bdd.lisp: The cl-cudd/src/1-2-1-base-bdd<dot>lisp file
cl-cudd/src/1-2-1-base-zdd.lisp: The cl-cudd/src/1-2-1-base-zdd<dot>lisp file
cl-cudd/src/1-3-dddmp.lisp: The cl-cudd/src/1-3-dddmp<dot>lisp file
cl-cudd/src/2-0-0-manager.lisp: The cl-cudd/src/2-0-0-manager<dot>lisp file
cl-cudd/src/2-0-1-node.lisp: The cl-cudd/src/2-0-1-node<dot>lisp file
cl-cudd/src/2-0-2-def-cudd-call.lisp: The cl-cudd/src/2-0-2-def-cudd-call<dot>lisp file
cl-cudd/src/2-1-add.lisp: The cl-cudd/src/2-1-add<dot>lisp file
cl-cudd/src/2-1-generic-complex.lisp: The cl-cudd/src/2-1-generic-complex<dot>lisp file
cl-cudd/src/2-1-generic-simple.lisp: The cl-cudd/src/2-1-generic-simple<dot>lisp file
cl-cudd/src/2-1-generic-swap.lisp: The cl-cudd/src/2-1-generic-swap<dot>lisp file
cl-cudd/src/2-1-system.lisp: The cl-cudd/src/2-1-system<dot>lisp file
cl-cudd/src/2-1-zdd-set-operations.lisp: The cl-cudd/src/2-1-zdd-set-operations<dot>lisp file
cl-cudd/src/2-2-add-bdd-bridge.lisp: The cl-cudd/src/2-2-add-bdd-bridge<dot>lisp file
cl-cudd/src/2-2-zdd-bdd-bridge.lisp: The cl-cudd/src/2-2-zdd-bdd-bridge<dot>lisp file
cl-cudd/src/2-3-reordering.lisp: The cl-cudd/src/2-3-reordering<dot>lisp file
cl-cudd/src/2-4-hook.lisp: The cl-cudd/src/2-4-hook<dot>lisp file
cl-cudd/src/2-5-utils.lisp: The cl-cudd/src/2-5-utils<dot>lisp file
cl-cudd/src/2-6-dot.lisp: The cl-cudd/src/2-6-dot<dot>lisp file

F
File, Lisp, cl-cudd.asd: The cl-cudd<dot>asd file
File, Lisp, cl-cudd.build.asd: The cl-cudd<dot>build<dot>asd file
File, Lisp, cl-cudd/src/0-package.lisp: The cl-cudd/src/0-package<dot>lisp file
File, Lisp, cl-cudd/src/1-0-0-library.lisp: The cl-cudd/src/1-0-0-library<dot>lisp file
File, Lisp, cl-cudd/src/1-0-1-conditions.lisp: The cl-cudd/src/1-0-1-conditions<dot>lisp file
File, Lisp, cl-cudd/src/1-0-2-translators.lisp: The cl-cudd/src/1-0-2-translators<dot>lisp file
File, Lisp, cl-cudd/src/1-1-0-swig-macros.lisp: The cl-cudd/src/1-1-0-swig-macros<dot>lisp file
File, Lisp, cl-cudd/src/1-1-1-grovel.lisp: The cl-cudd/src/1-1-1-grovel<dot>lisp file
File, Lisp, cl-cudd/src/1-1-2-fun.lisp: The cl-cudd/src/1-1-2-fun<dot>lisp file
File, Lisp, cl-cudd/src/1-2-0-base-common.lisp: The cl-cudd/src/1-2-0-base-common<dot>lisp file
File, Lisp, cl-cudd/src/1-2-1-base-add.lisp: The cl-cudd/src/1-2-1-base-add<dot>lisp file
File, Lisp, cl-cudd/src/1-2-1-base-bdd.lisp: The cl-cudd/src/1-2-1-base-bdd<dot>lisp file
File, Lisp, cl-cudd/src/1-2-1-base-zdd.lisp: The cl-cudd/src/1-2-1-base-zdd<dot>lisp file
File, Lisp, cl-cudd/src/1-3-dddmp.lisp: The cl-cudd/src/1-3-dddmp<dot>lisp file
File, Lisp, cl-cudd/src/2-0-0-manager.lisp: The cl-cudd/src/2-0-0-manager<dot>lisp file
File, Lisp, cl-cudd/src/2-0-1-node.lisp: The cl-cudd/src/2-0-1-node<dot>lisp file
File, Lisp, cl-cudd/src/2-0-2-def-cudd-call.lisp: The cl-cudd/src/2-0-2-def-cudd-call<dot>lisp file
File, Lisp, cl-cudd/src/2-1-add.lisp: The cl-cudd/src/2-1-add<dot>lisp file
File, Lisp, cl-cudd/src/2-1-generic-complex.lisp: The cl-cudd/src/2-1-generic-complex<dot>lisp file
File, Lisp, cl-cudd/src/2-1-generic-simple.lisp: The cl-cudd/src/2-1-generic-simple<dot>lisp file
File, Lisp, cl-cudd/src/2-1-generic-swap.lisp: The cl-cudd/src/2-1-generic-swap<dot>lisp file
File, Lisp, cl-cudd/src/2-1-system.lisp: The cl-cudd/src/2-1-system<dot>lisp file
File, Lisp, cl-cudd/src/2-1-zdd-set-operations.lisp: The cl-cudd/src/2-1-zdd-set-operations<dot>lisp file
File, Lisp, cl-cudd/src/2-2-add-bdd-bridge.lisp: The cl-cudd/src/2-2-add-bdd-bridge<dot>lisp file
File, Lisp, cl-cudd/src/2-2-zdd-bdd-bridge.lisp: The cl-cudd/src/2-2-zdd-bdd-bridge<dot>lisp file
File, Lisp, cl-cudd/src/2-3-reordering.lisp: The cl-cudd/src/2-3-reordering<dot>lisp file
File, Lisp, cl-cudd/src/2-4-hook.lisp: The cl-cudd/src/2-4-hook<dot>lisp file
File, Lisp, cl-cudd/src/2-5-utils.lisp: The cl-cudd/src/2-5-utils<dot>lisp file
File, Lisp, cl-cudd/src/2-6-dot.lisp: The cl-cudd/src/2-6-dot<dot>lisp file

L
Lisp File, cl-cudd.asd: The cl-cudd<dot>asd file
Lisp File, cl-cudd.build.asd: The cl-cudd<dot>build<dot>asd file
Lisp File, cl-cudd/src/0-package.lisp: The cl-cudd/src/0-package<dot>lisp file
Lisp File, cl-cudd/src/1-0-0-library.lisp: The cl-cudd/src/1-0-0-library<dot>lisp file
Lisp File, cl-cudd/src/1-0-1-conditions.lisp: The cl-cudd/src/1-0-1-conditions<dot>lisp file
Lisp File, cl-cudd/src/1-0-2-translators.lisp: The cl-cudd/src/1-0-2-translators<dot>lisp file
Lisp File, cl-cudd/src/1-1-0-swig-macros.lisp: The cl-cudd/src/1-1-0-swig-macros<dot>lisp file
Lisp File, cl-cudd/src/1-1-1-grovel.lisp: The cl-cudd/src/1-1-1-grovel<dot>lisp file
Lisp File, cl-cudd/src/1-1-2-fun.lisp: The cl-cudd/src/1-1-2-fun<dot>lisp file
Lisp File, cl-cudd/src/1-2-0-base-common.lisp: The cl-cudd/src/1-2-0-base-common<dot>lisp file
Lisp File, cl-cudd/src/1-2-1-base-add.lisp: The cl-cudd/src/1-2-1-base-add<dot>lisp file
Lisp File, cl-cudd/src/1-2-1-base-bdd.lisp: The cl-cudd/src/1-2-1-base-bdd<dot>lisp file
Lisp File, cl-cudd/src/1-2-1-base-zdd.lisp: The cl-cudd/src/1-2-1-base-zdd<dot>lisp file
Lisp File, cl-cudd/src/1-3-dddmp.lisp: The cl-cudd/src/1-3-dddmp<dot>lisp file
Lisp File, cl-cudd/src/2-0-0-manager.lisp: The cl-cudd/src/2-0-0-manager<dot>lisp file
Lisp File, cl-cudd/src/2-0-1-node.lisp: The cl-cudd/src/2-0-1-node<dot>lisp file
Lisp File, cl-cudd/src/2-0-2-def-cudd-call.lisp: The cl-cudd/src/2-0-2-def-cudd-call<dot>lisp file
Lisp File, cl-cudd/src/2-1-add.lisp: The cl-cudd/src/2-1-add<dot>lisp file
Lisp File, cl-cudd/src/2-1-generic-complex.lisp: The cl-cudd/src/2-1-generic-complex<dot>lisp file
Lisp File, cl-cudd/src/2-1-generic-simple.lisp: The cl-cudd/src/2-1-generic-simple<dot>lisp file
Lisp File, cl-cudd/src/2-1-generic-swap.lisp: The cl-cudd/src/2-1-generic-swap<dot>lisp file
Lisp File, cl-cudd/src/2-1-system.lisp: The cl-cudd/src/2-1-system<dot>lisp file
Lisp File, cl-cudd/src/2-1-zdd-set-operations.lisp: The cl-cudd/src/2-1-zdd-set-operations<dot>lisp file
Lisp File, cl-cudd/src/2-2-add-bdd-bridge.lisp: The cl-cudd/src/2-2-add-bdd-bridge<dot>lisp file
Lisp File, cl-cudd/src/2-2-zdd-bdd-bridge.lisp: The cl-cudd/src/2-2-zdd-bdd-bridge<dot>lisp file
Lisp File, cl-cudd/src/2-3-reordering.lisp: The cl-cudd/src/2-3-reordering<dot>lisp file
Lisp File, cl-cudd/src/2-4-hook.lisp: The cl-cudd/src/2-4-hook<dot>lisp file
Lisp File, cl-cudd/src/2-5-utils.lisp: The cl-cudd/src/2-5-utils<dot>lisp file
Lisp File, cl-cudd/src/2-6-dot.lisp: The cl-cudd/src/2-6-dot<dot>lisp file

Jump to:   C   F   L  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   (  
A   B   C   D   E   F   G   I   L   M   N   O   P   R   S   U   W   Z  
Index Entry  Section

(
(setf add-node-pointer): Internal functions
(setf bdd-node-pointer): Internal functions
(setf cudd-node-else): Exported functions
(setf cudd-node-then): Exported functions
(setf cudd-node-value): Exported functions
(setf manager-pointer): Exported functions
(setf node-pointer): Exported functions
(setf zdd-node-pointer): Internal functions

A
add->bdd: Exported functions
add->bdd-interval: Exported functions
add->bdd-strict-threshold: Exported functions
add->bdd-threshold: Exported functions
add-apply: Exported functions
add-constant: Exported functions
add-function: Internal functions
add-negate: Exported functions
add-node-p: Internal functions
add-node-pointer: Internal functions
add-swap-variables: Internal functions
add-var: Exported functions

B
bdd->add: Exported functions
bdd->zdd-cover: Exported functions
bdd->zdd-simple: Exported functions
bdd-function: Internal functions
bdd-max-variables: Exported functions
bdd-node-p: Internal functions
bdd-node-pointer: Internal functions
bdd-swap-variables: Internal functions
bdd-var: Exported functions
bdd-variables: Exported functions
bitvector->zdd: Exported functions

C
cofactor: Exported functions
common-function: Internal functions
copy-add-node: Internal functions
copy-bdd-node: Internal functions
copy-manager: Internal functions
copy-node: Internal functions
copy-zdd-node: Internal functions
count-leaves: Exported functions
cube: Exported functions
cudd-add-agreement: Exported functions
cudd-add-apply: Exported functions
cudd-add-bdd-interval: Exported functions
cudd-add-bdd-ith-bit: Exported functions
cudd-add-bdd-pattern: Exported functions
cudd-add-bdd-strict-threshold: Exported functions
cudd-add-bdd-threshold: Exported functions
cudd-add-cmpl: Exported functions
cudd-add-compose: Exported functions
cudd-add-compute-cube: Exported functions
cudd-add-const: Exported functions
cudd-add-constrain: Exported functions
cudd-add-cube: Exported functions
cudd-add-diff: Exported functions
cudd-add-divide: Exported functions
cudd-add-eval-const: Exported functions
cudd-add-exist-abstract: Exported functions
cudd-add-find-max: Exported functions
cudd-add-find-min: Exported functions
cudd-add-general-vector-compose: Exported functions
cudd-add-hamming: Exported functions
cudd-add-harwell: Exported functions
cudd-add-hook: Exported functions
cudd-add-ite: Exported functions
cudd-add-ite-constant: Exported functions
cudd-add-ith-bit: Exported functions
cudd-add-ith-var: Exported functions
cudd-add-leq: Exported functions
cudd-add-log: Exported functions
cudd-add-matrix-multiply: Exported functions
cudd-add-maximum: Exported functions
cudd-add-minimum: Exported functions
cudd-add-minus: Exported functions
cudd-add-monadic-apply: Exported functions
cudd-add-nand: Exported functions
cudd-add-negate: Exported functions
cudd-add-new-var: Exported functions
cudd-add-new-var-at-level: Exported functions
cudd-add-non-sim-compose: Exported functions
cudd-add-nor: Exported functions
cudd-add-one-zero-maximum: Exported functions
cudd-add-or: Exported functions
cudd-add-or-abstract: Exported functions
cudd-add-outer-sum: Exported functions
cudd-add-permute: Exported functions
cudd-add-plus: Exported functions
cudd-add-read: Exported functions
cudd-add-residue: Exported functions
cudd-add-restrict: Exported functions
cudd-add-round-off: Exported functions
cudd-add-scalar-inverse: Exported functions
cudd-add-set-nz: Exported functions
cudd-add-swap-variables: Exported functions
cudd-add-threshold: Exported functions
cudd-add-times: Exported functions
cudd-add-times-plus: Exported functions
cudd-add-triangle: Exported functions
cudd-add-univ-abstract: Exported functions
cudd-add-vector-compose: Exported functions
cudd-add-walsh: Exported functions
cudd-add-xeqy: Exported functions
cudd-add-xnor: Exported functions
cudd-add-xor: Exported functions
cudd-apa-add: Exported functions
cudd-apa-compare: Exported functions
cudd-apa-compare-ratios: Exported functions
cudd-apa-copy: Exported functions
cudd-apa-count-minterm: Exported functions
cudd-apa-int-division: Exported functions
cudd-apa-number-of-digits: Exported functions
cudd-apa-power-of-two: Exported functions
cudd-apa-print-decimal: Exported functions
cudd-apa-print-density: Exported functions
cudd-apa-print-exponential: Exported functions
cudd-apa-print-hex: Exported functions
cudd-apa-print-minterm: Exported functions
cudd-apa-print-minterm-exp: Exported functions
cudd-apa-set-to-literal: Exported functions
cudd-apa-shift-right: Exported functions
cudd-apa-short-division: Exported functions
cudd-apa-subtract: Exported functions
cudd-autodyn-disable: Exported functions
cudd-autodyn-disable-zdd: Exported functions
cudd-autodyn-enable: Exported functions
cudd-autodyn-enable-zdd: Exported functions
cudd-average-distance: Exported functions
cudd-bdd-adj-permute-x: Exported functions
cudd-bdd-and: Exported functions
cudd-bdd-and-abstract: Exported functions
cudd-bdd-and-abstract-limit: Exported functions
cudd-bdd-and-limit: Exported functions
cudd-bdd-approx-conj-decomp: Exported functions
cudd-bdd-approx-disj-decomp: Exported functions
cudd-bdd-bind-var: Exported functions
cudd-bdd-boolean-diff: Exported functions
cudd-bdd-char-to-vect: Exported functions
cudd-bdd-clipping-and: Exported functions
cudd-bdd-clipping-and-abstract: Exported functions
cudd-bdd-closest-cube: Exported functions
cudd-bdd-compose: Exported functions
cudd-bdd-compute-cube: Exported functions
cudd-bdd-constrain: Exported functions
cudd-bdd-constrain-decomp: Exported functions
cudd-bdd-correlation: Exported functions
cudd-bdd-correlation-weights: Exported functions
cudd-bdd-cube: Exported functions
cudd-bdd-exist-abstract: Exported functions
cudd-bdd-gen-conj-decomp: Exported functions
cudd-bdd-gen-disj-decomp: Exported functions
cudd-bdd-intersect: Exported functions
cudd-bdd-is-ns-var: Exported functions
cudd-bdd-is-pi-var: Exported functions
cudd-bdd-is-ps-var: Exported functions
cudd-bdd-is-var-essential: Exported functions
cudd-bdd-is-var-hard-group: Exported functions
cudd-bdd-is-var-to-be-grouped: Exported functions
cudd-bdd-is-var-to-be-ungrouped: Exported functions
cudd-bdd-isop: Exported functions
cudd-bdd-ite: Exported functions
cudd-bdd-ite-constant: Exported functions
cudd-bdd-iter-conj-decomp: Exported functions
cudd-bdd-iter-disj-decomp: Exported functions
cudd-bdd-ith-var: Exported functions
cudd-bdd-leq: Exported functions
cudd-bdd-leq-unless: Exported functions
cudd-bdd-licompaction: Exported functions
cudd-bdd-literal-set-intersection: Exported functions
cudd-bdd-make-prime: Exported functions
cudd-bdd-max-variables: Exported functions
cudd-bdd-minimize: Exported functions
cudd-bdd-nand: Exported functions
cudd-bdd-new-var: Exported functions
cudd-bdd-new-var-at-level: Exported functions
cudd-bdd-nor: Exported functions
cudd-bdd-not: Exported functions
cudd-bdd-npand: Exported functions
cudd-bdd-or: Exported functions
cudd-bdd-permute: Exported functions
cudd-bdd-pick-arbitrary-minterms: Exported functions
cudd-bdd-pick-one-cube: Exported functions
cudd-bdd-pick-one-minterm: Exported functions
cudd-bdd-print-cover: Exported functions
cudd-bdd-read: Exported functions
cudd-bdd-read-pair-index: Exported functions
cudd-bdd-realign-disable: Exported functions
cudd-bdd-realign-enable: Exported functions
cudd-bdd-realignment-enabled: Exported functions
cudd-bdd-reset-var-to-be-grouped: Exported functions
cudd-bdd-restrict: Exported functions
cudd-bdd-set-ns-var: Exported functions
cudd-bdd-set-pair-index: Exported functions
cudd-bdd-set-pi-var: Exported functions
cudd-bdd-set-ps-var: Exported functions
cudd-bdd-set-var-hard-group: Exported functions
cudd-bdd-set-var-to-be-grouped: Exported functions
cudd-bdd-set-var-to-be-ungrouped: Exported functions
cudd-bdd-squeeze: Exported functions
cudd-bdd-swap-variables: Exported functions
cudd-bdd-to-add: Exported functions
cudd-bdd-to-cube-array: Exported functions
cudd-bdd-transfer: Exported functions
cudd-bdd-unbind-var: Exported functions
cudd-bdd-univ-abstract: Exported functions
cudd-bdd-var-conj-decomp: Exported functions
cudd-bdd-var-disj-decomp: Exported functions
cudd-bdd-var-is-bound: Exported functions
cudd-bdd-var-is-dependent: Exported functions
cudd-bdd-var-map: Exported functions
cudd-bdd-variables: Exported functions
cudd-bdd-vector-compose: Exported functions
cudd-bdd-xnor: Exported functions
cudd-bdd-xor: Exported functions
cudd-bdd-xor-exist-abstract: Exported functions
cudd-biased-over-approx: Exported functions
cudd-biased-under-approx: Exported functions
cudd-cache-flush: Exported functions
cudd-cache-insert: Exported functions
cudd-cache-insert-1: Exported functions
cudd-cache-insert-2: Exported functions
cudd-cache-lookup: Exported functions
cudd-cache-lookup-1: Exported functions
cudd-cache-lookup-1-zdd: Exported functions
cudd-cache-lookup-2: Exported functions
cudd-cache-lookup-2-zdd: Exported functions
cudd-cache-lookup-zdd: Exported functions
cudd-cache-resize: Exported functions
cudd-check-keys: Exported functions
cudd-check-zero-ref: Exported functions
cudd-classify-support: Exported functions
cudd-clear-error-code: Exported functions
cudd-cof-minterm: Exported functions
cudd-cofactor: Exported functions
cudd-constant-lookup: Exported functions
cudd-count-leaves: Exported functions
cudd-count-minterm: Exported functions
cudd-count-path: Exported functions
cudd-count-paths-to-non-zero: Exported functions
cudd-cprojection: Exported functions
cudd-cube-array-to-bdd: Exported functions
cudd-dag-size: Exported functions
cudd-dead-are-counted: Exported functions
cudd-debug-check: Exported functions
cudd-decreasing: Exported functions
cudd-delayed-deref-bdd: Exported functions
cudd-density: Exported functions
cudd-deref: Exported functions
cudd-disable-garbage-collection: Exported functions
cudd-disable-reordering-reporting: Exported functions
cudd-dump-blif: Exported functions
cudd-dump-blif-body: Exported functions
cudd-dump-da-vinci: Exported functions
cudd-dump-ddcal: Exported functions
cudd-dump-dot: Exported functions
cudd-dump-factored-form: Exported functions
cudd-dxygtdxz: Exported functions
cudd-dxygtdyz: Exported functions
cudd-enable-garbage-collection: Exported functions
cudd-enable-reordering-reporting: Exported functions
cudd-epd-count-minterm: Exported functions
cudd-equal-sup-norm: Exported functions
cudd-equiv-dc: Exported functions
cudd-estimate-cofactor: Exported functions
cudd-estimate-cofactor-simple: Exported functions
cudd-eval: Exported functions
cudd-expected-used-slots: Exported functions
cudd-find-essential: Exported functions
cudd-find-two-literal-clauses: Exported functions
cudd-first-cube: Exported functions
cudd-first-node: Exported functions
cudd-first-prime: Exported functions
cudd-free-tree: Exported functions
cudd-free-zdd-tree: Exported functions
cudd-garbage-collection-enabled: Exported functions
cudd-gen-free: Exported functions
cudd-increasing: Exported functions
cudd-indices-to-cube: Exported functions
cudd-init: Exported functions
cudd-is-gen-empty: Exported functions
cudd-is-in-hook: Exported functions
cudd-is-non-constant: Exported functions
cudd-iter-deref-bdd: Exported functions
cudd-largest-cube: Exported functions
cudd-make-bdd-from-zdd-cover: Exported functions
cudd-make-tree-node: Exported functions
cudd-make-zdd-tree-node: Exported functions
cudd-min-hamming-dist: Exported functions
cudd-new-apa-number: Exported functions
cudd-next-cube: Exported functions
cudd-next-node: Exported functions
cudd-next-prime: Exported functions
cudd-node-else: Exported functions
cudd-node-index: Exported functions
cudd-node-is-constant: Exported functions
cudd-node-level: Exported functions
cudd-node-level-zdd: Exported functions
cudd-node-read-index: Exported functions
cudd-node-ref-count: Exported functions
cudd-node-then: Exported functions
cudd-node-value: Exported functions
cudd-out-of-mem: Internal functions
cudd-over-approx: Exported functions
cudd-prime: Exported functions
cudd-print-debug: Exported functions
cudd-print-info: Exported functions
cudd-print-linear: Exported functions
cudd-print-minterm: Exported functions
cudd-print-two-literal-clauses: Exported functions
cudd-print-version: Exported functions
cudd-priority-select: Exported functions
cudd-quit: Exported functions
cudd-random: Exported functions
cudd-read-arcviolation: Exported functions
cudd-read-background: Exported functions
cudd-read-cache-hits: Exported functions
cudd-read-cache-look-ups: Exported functions
cudd-read-cache-slots: Exported functions
cudd-read-cache-used-slots: Exported functions
cudd-read-dead: Exported functions
cudd-read-epsilon: Exported functions
cudd-read-error-code: Exported functions
cudd-read-garbage-collection-time: Exported functions
cudd-read-garbage-collections: Exported functions
cudd-read-groupcheck: Exported functions
cudd-read-inv-perm: Exported functions
cudd-read-inv-perm-zdd: Exported functions
cudd-read-ith-clause: Exported functions
cudd-read-keys: Exported functions
cudd-read-linear: Exported functions
cudd-read-logic-zero: Exported functions
cudd-read-loose-up-to: Exported functions
cudd-read-max-cache: Exported functions
cudd-read-max-cache-hard: Exported functions
cudd-read-max-growth: Exported functions
cudd-read-max-growth-alternate: Exported functions
cudd-read-max-live: Exported functions
cudd-read-max-memory: Exported functions
cudd-read-memory-in-use: Exported functions
cudd-read-min-dead: Exported functions
cudd-read-min-hit: Exported functions
cudd-read-minus-infinity: Exported functions
cudd-read-next-reordering: Exported functions
cudd-read-node-count: Exported functions
cudd-read-nodes-dropped: Exported functions
cudd-read-nodes-freed: Exported functions
cudd-read-number-xovers: Exported functions
cudd-read-one: Exported functions
cudd-read-peak-live-node-count: Exported functions
cudd-read-peak-node-count: Exported functions
cudd-read-perm: Exported functions
cudd-read-perm-zdd: Exported functions
cudd-read-plus-infinity: Exported functions
cudd-read-population-size: Exported functions
cudd-read-recomb: Exported functions
cudd-read-recursive-calls: Exported functions
cudd-read-reordering-cycle: Exported functions
cudd-read-reordering-time: Exported functions
cudd-read-reorderings: Exported functions
cudd-read-sift-max-swap: Exported functions
cudd-read-sift-max-var: Exported functions
cudd-read-size: Exported functions
cudd-read-slots: Exported functions
cudd-read-stderr: Exported functions
cudd-read-stdout: Exported functions
cudd-read-swap-steps: Exported functions
cudd-read-symmviolation: Exported functions
cudd-read-tree: Exported functions
cudd-read-unique-links: Exported functions
cudd-read-unique-look-ups: Exported functions
cudd-read-used-slots: Exported functions
cudd-read-vars: Exported functions
cudd-read-zdd-one: Exported functions
cudd-read-zdd-size: Exported functions
cudd-read-zdd-tree: Exported functions
cudd-read-zero: Exported functions
cudd-recursive-deref: Exported functions
cudd-recursive-deref-zdd: Exported functions
cudd-reduce-heap: Exported functions
cudd-ref: Exported functions
cudd-regular: Exported functions
cudd-remap-over-approx: Exported functions
cudd-remap-under-approx: Exported functions
cudd-remove-hook: Exported functions
cudd-reordering-reporting: Exported functions
cudd-reordering-status: Exported functions
cudd-reordering-status-zdd: Exported functions
cudd-set-arcviolation: Exported functions
cudd-set-background: Exported functions
cudd-set-epsilon: Exported functions
cudd-set-groupcheck: Exported functions
cudd-set-loose-up-to: Exported functions
cudd-set-max-cache-hard: Exported functions
cudd-set-max-growth: Exported functions
cudd-set-max-growth-alternate: Exported functions
cudd-set-max-live: Exported functions
cudd-set-max-memory: Exported functions
cudd-set-min-hit: Exported functions
cudd-set-next-reordering: Exported functions
cudd-set-number-xovers: Exported functions
cudd-set-population-size: Exported functions
cudd-set-recomb: Exported functions
cudd-set-reordering-cycle: Exported functions
cudd-set-sift-max-swap: Exported functions
cudd-set-sift-max-var: Exported functions
cudd-set-stderr: Exported functions
cudd-set-stdout: Exported functions
cudd-set-symmviolation: Exported functions
cudd-set-tree: Exported functions
cudd-set-var-map: Exported functions
cudd-set-zdd-tree: Exported functions
cudd-sharing-size: Exported functions
cudd-shortest-length: Exported functions
cudd-shortest-path: Exported functions
cudd-shuffle-heap: Exported functions
cudd-solve-eqn: Exported functions
cudd-split-set: Exported functions
cudd-srandom: Exported functions
cudd-std-post-reord-hook: Exported functions
cudd-std-pre-reord-hook: Exported functions
cudd-subset-compress: Exported functions
cudd-subset-heavy-branch: Exported functions
cudd-subset-short-paths: Exported functions
cudd-subset-with-mask-vars: Exported functions
cudd-superset-compress: Exported functions
cudd-superset-heavy-branch: Exported functions
cudd-superset-short-paths: Exported functions
cudd-support: Exported functions
cudd-support-index: Exported functions
cudd-support-size: Exported functions
cudd-symm-profile: Exported functions
cudd-tlc-info-free: Exported functions
cudd-turn-off-count-dead: Exported functions
cudd-turn-on-count-dead: Exported functions
cudd-under-approx: Exported functions
cudd-unique-inter: Exported functions
cudd-vector-support: Exported functions
cudd-vector-support-index: Exported functions
cudd-vector-support-size: Exported functions
cudd-verify-sol: Exported functions
cudd-xeqy: Exported functions
cudd-xgty: Exported functions
cudd-zdd-change: Exported functions
cudd-zdd-complement: Exported functions
cudd-zdd-count: Exported functions
cudd-zdd-count-double: Exported functions
cudd-zdd-count-minterm: Exported functions
cudd-zdd-cover-path-to-string: Exported functions
cudd-zdd-dag-size: Exported functions
cudd-zdd-diff: Exported functions
cudd-zdd-diff-const: Exported functions
cudd-zdd-divide: Exported functions
cudd-zdd-divide-f: Exported functions
cudd-zdd-dump-dot: Exported functions
cudd-zdd-empty-belongs: Exported functions
cudd-zdd-first-path: Exported functions
cudd-zdd-get-node: Exported functions
cudd-zdd-intersect: Exported functions
cudd-zdd-isop: Exported functions
cudd-zdd-ite: Exported functions
cudd-zdd-ith-var: Exported functions
cudd-zdd-max-variables: Exported functions
cudd-zdd-next-path: Exported functions
cudd-zdd-port-from-bdd: Exported functions
cudd-zdd-port-to-bdd: Exported functions
cudd-zdd-print-cover: Exported functions
cudd-zdd-print-debug: Exported functions
cudd-zdd-print-minterm: Exported functions
cudd-zdd-print-subtable: Exported functions
cudd-zdd-product: Exported functions
cudd-zdd-read-node-count: Exported functions
cudd-zdd-realign-disable: Exported functions
cudd-zdd-realign-enable: Exported functions
cudd-zdd-realignment-enabled: Exported functions
cudd-zdd-reduce-heap: Exported functions
cudd-zdd-shuffle-heap: Exported functions
cudd-zdd-subset-0: Exported functions
cudd-zdd-subset-1: Exported functions
cudd-zdd-supset: Internal functions
cudd-zdd-symm-profile: Exported functions
cudd-zdd-unate-product: Exported functions
cudd-zdd-union: Exported functions
cudd-zdd-unique-inter: Exported functions
cudd-zdd-variables: Exported functions
cudd-zdd-vars-from-bdd-vars: Exported functions
cudd-zdd-weak-div: Exported functions
cudd-zdd-weak-div-f: Exported functions

D
dag-size: Exported functions
def-cudd-call: Internal macros
define-simple-managed-function: Internal macros
disable-gc: Exported functions
disable-reordering: Exported functions
do-ones: Exported macros
dump-dot: Exported functions
dump-mtr-tree: Exported functions
dump-variable-group-hierarchy: Exported functions
dump-zdd-variable-group-hierarchy: Exported functions

E
enable-gc: Exported functions
enable-reordering: Exported functions
epsilon: Exported functions

F
fclose: Internal functions
find-2list: Internal functions
follow-diagram: Exported functions
fopen: Internal functions
Function, (setf add-node-pointer): Internal functions
Function, (setf bdd-node-pointer): Internal functions
Function, (setf cudd-node-else): Exported functions
Function, (setf cudd-node-then): Exported functions
Function, (setf cudd-node-value): Exported functions
Function, (setf manager-pointer): Exported functions
Function, (setf node-pointer): Exported functions
Function, (setf zdd-node-pointer): Internal functions
Function, add->bdd: Exported functions
Function, add->bdd-interval: Exported functions
Function, add->bdd-strict-threshold: Exported functions
Function, add->bdd-threshold: Exported functions
Function, add-apply: Exported functions
Function, add-constant: Exported functions
Function, add-function: Internal functions
Function, add-negate: Exported functions
Function, add-node-p: Internal functions
Function, add-node-pointer: Internal functions
Function, add-swap-variables: Internal functions
Function, add-var: Exported functions
Function, bdd->add: Exported functions
Function, bdd->zdd-cover: Exported functions
Function, bdd->zdd-simple: Exported functions
Function, bdd-function: Internal functions
Function, bdd-max-variables: Exported functions
Function, bdd-node-p: Internal functions
Function, bdd-node-pointer: Internal functions
Function, bdd-swap-variables: Internal functions
Function, bdd-var: Exported functions
Function, bdd-variables: Exported functions
Function, bitvector->zdd: Exported functions
Function, cofactor: Exported functions
Function, common-function: Internal functions
Function, copy-add-node: Internal functions
Function, copy-bdd-node: Internal functions
Function, copy-manager: Internal functions
Function, copy-node: Internal functions
Function, copy-zdd-node: Internal functions
Function, count-leaves: Exported functions
Function, cube: Exported functions
Function, cudd-add-agreement: Exported functions
Function, cudd-add-apply: Exported functions
Function, cudd-add-bdd-interval: Exported functions
Function, cudd-add-bdd-ith-bit: Exported functions
Function, cudd-add-bdd-pattern: Exported functions
Function, cudd-add-bdd-strict-threshold: Exported functions
Function, cudd-add-bdd-threshold: Exported functions
Function, cudd-add-cmpl: Exported functions
Function, cudd-add-compose: Exported functions
</