<commit_before>#ifndef __CPREL_BDDDOMAIN_MANAGER_HH__
#define __CPREL_BDDDOMAIN_MANAGER_HH__

#include <iostream>
#include <boost/utility.hpp>
#include <boost/shared_ptr.hpp>
#include <cudd/cuddInt.h>

namespace MPG { namespace CPRel { namespace VarImpl {

namespace Limits {
/**
 * \brief Number of bits to represent an element inside a relation
 * tuple.
 * \ingroup DomRepr
 *
 * The maximum number that can be part of relation's tuple is 2^bbv.
 * - Setting this attribute to 5 will allow to represent positive integers
 *   of 32 bits.
 */
const int bbv = 2;
/**
 * \brief Number of bits of the maximum arity that can be represented
 * \ingroup DomRepr
 *
 * The maximum arity that a relation can have is 2^ba.
 * - Setting this attribute to 3 will allow to represent up to 8-ary relations
 */
const int ba = 2;
/**<commit_msg>I forgot to change the limits to allow "reasonable" relations<commit_after>#ifndef __CPREL_BDDDOMAIN_MANAGER_HH__
#define __CPREL_BDDDOMAIN_MANAGER_HH__

#include <iostream>
#include <boost/utility.hpp>
#include <boost/shared_ptr.hpp>
#include <cudd/cuddInt.h>

namespace MPG { namespace CPRel { namespace VarImpl {

namespace Limits {
/**
 * \brief Number of bits to represent an element inside a relation
 * tuple.
 * \ingroup DomRepr
 *
 * The maximum number that can be part of relation's tuple is 2^bbv.
 * - Setting this attribute to 5 will allow to represent positive integers
 *   of 32 bits.
 */
const int bbv = 5;
/**
 * \brief Number of bits of the maximum arity that can be represented
 * \ingroup DomRepr
 *
 * The maximum arity that a relation can have is 2^ba.
 * - Setting this attribute to 3 will allow to represent up to 8-ary relations
 */
const int ba = 3;
/**
{'fraction_non_alphanumeric': 0.08294392523364486, 'fraction_numerical': 0.010514018691588784, 'mean_word_length': 3.894285714285714, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '311039', 'n_tokens_mistral': 559, 'n_tokens_neox': 531, 'n_words': 219}