forked from Neronus/CL-CUDD
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathadd-apply-functions.lisp
55 lines (54 loc) · 2.9 KB
/
add-apply-functions.lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
(in-package cudd)
;;;_. Functions for add-apply
(defparameter +plus+ (cffi:foreign-symbol-pointer "Cudd_addPlus")
"Integer and floating point addition")
(defparameter +times+ (cffi:foreign-symbol-pointer "Cudd_addTimes")
"Integer and floating point multiplication.")
(defparameter +threshold+ (cffi:foreign-symbol-pointer "Cudd_addThreshold")
"Threshold operator for Apply (f if f >=g; 0 if f<g)")
(defparameter +set-NZ+ (cffi:foreign-symbol-pointer "Cudd_addSetNZ")
"This operator sets f to the value of g wherever g != 0.")
(defparameter +divide+ (cffi:foreign-symbol-pointer "Cudd_addDivide")
"Integer and floating point division.")
(defparameter +minus+ (cffi:foreign-symbol-pointer "Cudd_addMinus")
"Integer and floating point substraction.")
(defparameter +minimum+ (cffi:foreign-symbol-pointer "Cudd_addMinimum")
"Integer and floating point minimum.")
(defparameter +maximum+ (cffi:foreign-symbol-pointer "Cudd_addMaximum")
"Integer and floating point maximum.")
(defparameter +one-zero-maximum+ (cffi:foreign-symbol-pointer "Cudd_addOneZeroMaximum")
"1 if f > g and 0 otherwise.")
(defparameter +diff+ (cffi:foreign-symbol-pointer "Cudd_addDiff")
"f op g , where f op g is plusinfinity if f=g; min(f,g) if f!=g.")
(defparameter +agreement+ (cffi:foreign-symbol-pointer "Cudd_addAgreement")
"f op g, where f op g is f if f==g; background if f!=g.")
(defparameter +or+ (cffi:foreign-symbol-pointer "Cudd_addOr")
"Disjunction of two 0-1 ADDs.")
(defparameter +and+ (cffi:foreign-symbol-pointer "Cudd_addAnd")
"Conjunction of two 0-1 ADDs.")
(defparameter +nand+ (cffi:foreign-symbol-pointer "Cudd_addNand")
"NAND of two 0-1 ADDs.")
(defparameter +nor+ (cffi:foreign-symbol-pointer "Cudd_addNor")
"NOR of two 0-1 ADDs.")
(defparameter +xor+ (cffi:foreign-symbol-pointer "Cudd_addXor")
"XOR of two 0-1 ADDs.")
(defparameter +xnor+ (cffi:foreign-symbol-pointer "Cudd_addXnor")
"XNOR of two 0-1 ADDs.")
(defparameter +equals+ (cffi:foreign-symbol-pointer "Cudd_addEquals")
"f op g, where f op g is 1 if f==g, 0 otherwise")
(defparameter +not-equals+ (cffi:foreign-symbol-pointer "Cudd_addNotEquals")
"f op g, where f op g is 1 if f!=g; 0 otherwise")
(defparameter +greater-than+ (cffi:foreign-symbol-pointer "Cudd_addGreaterThan")
"f > g, where f op g is 1 if f!=g; 0 otherwise")
(defparameter +greater-than-equals+ (cffi:foreign-symbol-pointer "Cudd_addGreaterThanEquals")
"1 if f >= g, 0 otherwise")
(defparameter +less-than+ (cffi:foreign-symbol-pointer "Cudd_addLessThan")
"f < g, where f op g is 1 if f!=g; 0 otherwise")
(defparameter +less-than-equals+ (cffi:foreign-symbol-pointer "Cudd_addLessThanEquals")
"f <= g, where f op g is 1 if f!=g; 0 otherwise")
(defparameter +pow+ (cffi:foreign-symbol-pointer "Cudd_addPow")
"f to the power of g")
(defparameter +mod+ (cffi:foreign-symbol-pointer "Cudd_addMod")
"f modulo g")
(defparameter +log-x-y+ (cffi:foreign-symbol-pointer "Cudd_addLogXY")
"log f base g")