This package provides a free and extensible implementation of Joint Generation Algorithms.
We chose Common Lisp as the implementation language to facilitate easy experimentation
with the ad-hoc decisions in the implementation, and to make implementation of your
favourite monotone boolean function oracle easy. The canonical project home page is here, the
SVN repository, file releases and bug tracking are hosted on SourceForge.
|
Exported Symbol Index
|
de.uuhaus.cl-jointgen:
|
check-duality, function |
|
de.uuhaus.cl-jointgen:
|
clause, class |
|
de.uuhaus.cl-jointgen:
|
clause, type |
|
de.uuhaus.cl-jointgen:
|
clause->bitlist/lsb, function |
|
de.uuhaus.cl-jointgen:
|
clause->bitlist/msb, function |
|
de.uuhaus.cl-jointgen:
|
clause->bitvec/lsb, function |
|
de.uuhaus.cl-jointgen:
|
clause->bitvec/msb, function |
|
de.uuhaus.cl-jointgen:
|
clause-clear-bit, function |
|
de.uuhaus.cl-jointgen:
|
clause-ref, function |
|
de.uuhaus.cl-jointgen:
|
clause-set-bit, function |
|
de.uuhaus.cl-jointgen:
|
clutter, class |
|
de.uuhaus.cl-jointgen:
|
clutter, type |
|
de.uuhaus.cl-jointgen:
|
get-num-oracle-calls, function |
|
de.uuhaus.cl-jointgen:
|
hypergraph-edge-oracle, class |
|
de.uuhaus.cl-jointgen:
|
hypergraph-edge-oracle, type |
|
de.uuhaus.cl-jointgen:
|
joint-generation, function |
|
de.uuhaus.cl-jointgen:
|
make-jg-problem, function |
|
de.uuhaus.cl-jointgen:
|
make-monotone-ieq-oracle, function |
|
de.uuhaus.cl-jointgen:
|
make-permutation-oracle, function |
|
de.uuhaus.cl-jointgen:
|
make-sperner-hypergraph-oracle, function |
|
de.uuhaus.cl-jointgen:
|
make-t-frequent-set-oracle, function |
|
de.uuhaus.cl-jointgen:
|
maximize-clause, function |
|
de.uuhaus.cl-jointgen:
|
mbf-oracle, class |
|
de.uuhaus.cl-jointgen:
|
mbf-oracle, type |
|
de.uuhaus.cl-jointgen:
|
minimize-clause, function |
|
de.uuhaus.cl-jointgen:
|
monotone-ieq-oracle, class |
|
de.uuhaus.cl-jointgen:
|
monotone-ieq-oracle, type |
|
de.uuhaus.cl-jointgen:
|
permutation-oracle, class |
|
de.uuhaus.cl-jointgen:
|
permutation-oracle, type |
|
de.uuhaus.cl-jointgen:
|
query-oracle, function |
|
de.uuhaus.cl-jointgen:
|
t-frequent-set-oracle, class |
|
de.uuhaus.cl-jointgen:
|
t-frequent-set-oracle, type |
|