Detailed Description

A canon_cnf is a BCFF. An stabilized sub-formula.

It represents the output of an stabilization process: the stabilized CNF sub-formula. It is the interface class to the database class that handles all disk operations (the skeleton_glb class). This class contains some disk handling related information (paths and sha info). A canon_cnf basically is a set of canon_clause s (which are basically arrays of numbers).

The documentation for this class was generated from the following files:

/home/jose/devel/ben-jose/src/library/unsat_db/skeleton.h
/home/jose/devel/ben-jose/src/library/unsat_db/skeleton.cpp