Package: de.uuhaus.cl-jointgen
Class mbf-oracle
Superclasses
aclmop:funcallable-standard-object, common-lisp:standard-object, common-lisp:function, common-lisp:t
Documented Subclasses
Documented Direct Slots
Details
Oracle representing a monotone boolean function.
Every oracle representing a monotone boolean function must be subclassed from this class.
Every oracle representing a monotone boolean function must be subclassed from this class.