#ifndef CLASS_PROBLEM
#define CLASS_PROBLEM

#include <list.hpp>

#include <refcounted.hpp>

class clause
{
    public:
        struct bundle
        {
            unsigned variable;
            
            bool value;
        };
    
    public:
        list<bundle> bundles;
};

class problem
{
    public:
        unsigned number_of_variables;
        
        list<refcounted<clause>> clauses;
        
    public:
        problem(unsigned);
};

#endif