Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
Static Public Member Functions | List of all members
instance_info Class Reference

Class that holds an instance data. More...

#include <instance_info.h>

Static Public Member Functions

static void init_output (bj_output_t &out)
 init and output
 

Detailed Description

Class that holds an instance data.


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