Package: de.uuhaus.cl-jointgen

Class mbf-oracle

Superclasses

common-lisp:standard-object, sb-pcl::slot-object, common-lisp:t

Documented Subclasses

Documented Direct Slots

function --
The function to be called when querying the oracle.
num-invokations --
Number of times this oracle was called.

Details

Oracle representing a monotone boolean function.

Every oracle representing a monotone boolean function must be subclassed from this class.