<commit_before>#include <gecode/flatzinc.hh>
#include <gecode/flatzinc/logbrancher.hh>

#include <strstream>

using namespace std;

namespace Gecode { namespace FlatZinc {

  struct PS {
    static void e(const string& s, const FlatZinc::SymbolEntry& se) {
      std::cerr << "found " << s << "\n";
    }
  };

  LogChoice::LogChoice(const LogBrancher& b, const std::vector<C>& children)
    : Choice(b,children.size()) {
    cs = heap.alloc<C>(children.size());
    for (unsigned int i=0; i<children.size(); i++)
      cs[i] = children[i];
  }

  namespace {

    LogChoice* parseChoice(const LogBrancher& b, const FlatZincSpace& s, int nChildren, const string& line) {
      if (nChildren==0)
        return NULL;
      size_t space = line.find(" ");
      space = line.find(" ",space+1);
      std::vector<LogChoice::C> children;
      
      // b.symbols.exec<PS>();
            
      for (int i=0; i<nChildren;i++) {
        size_t next_space = line.find(" ",space+1);
        stringstream nid_s(line.substr(space+1, next_space-space-1));
        int n_id;
        nid_s >> n_id;
        space = next_space;
        next_space = line.find(" ",space+1);
        string var = line.substr(space+1, next_space-space-1);
        
        int var_idx;
        if (size_t bracket = var.find("[")) {
          string basevar = var.substr(0,bracket);<commit_msg>Fix find<commit_after>#include <gecode/flatzinc.hh>
#include <gecode/flatzinc/logbrancher.hh>

#include <strstream>

using namespace std;

namespace Gecode { namespace FlatZinc {

  struct PS {
    static void e(const string& s, const FlatZinc::SymbolEntry& se) {
      std::cerr << "found " << s << "\n";
    }
  };

  LogChoice::LogChoice(const LogBrancher& b, const std::vector<C>& children)
    : Choice(b,children.size()) {
    cs = heap.alloc<C>(children.size());
    for (unsigned int i=0; i<children.size(); i++)
      cs[i] = children[i];
  }

  namespace {

    LogChoice* parseChoice(const LogBrancher& b, const FlatZincSpace& s, int nChildren, const string& line) {
      if (nChildren==0)
        return NULL;
      size_t space = line.find(" ");
      space = line.find(" ",space+1);
      std::vector<LogChoice::C> children;
      
      // b.symbols.exec<PS>();
            
      for (int i=0; i<nChildren;i++) {
        size_t next_space = line.find(" ",space+1);
        stringstream nid_s(line.substr(space+1, next_space-space-1));
        int n_id;
        nid_s >> n_id;
        space = next_space;
        next_space = line.find(" ",space+1);
        string var = line.substr(space+1, next_space-space-1);
        
        int var_idx;
        size_t bracket = var.find("[");
        if (bracket!=string::npos) {
          string basevar = var.substr(0,bracket);
{'fraction_non_alphanumeric': 0.15488338192419826, 'fraction_numerical': 0.008017492711370262, 'mean_word_length': 2.6944818304172276, 'pattern_counts': {'":': 0, '<': 33, '<?xml version=': 0, '>': 21, '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': '2207053', 'n_tokens_mistral': 949, 'n_tokens_neox': 936, 'n_words': 207}