Package: de.uuhaus.cl-jointgen

Class clause

Superclasses

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

Documented Subclasses

None

Documented Direct Slots

None

Details

0/1 vector representing a logical clause in CNF. Alternatively can be used as a 0/1 vector.