<commit_before>/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the LGPLv3 License.
*/

#ifndef LIGHT_VERSION

#include "SMT2Lib.h"

using namespace smt2lib;


// ====== Abstract node


smtAstAbstractNode::smtAstAbstractNode(enum kind_e kind) {
  this->kind = kind;
}


smtAstAbstractNode::smtAstAbstractNode() {
  this->kind = UNDEFINED_NODE;
}


smtAstAbstractNode::smtAstAbstractNode(const smtAstAbstractNode &copy) {
  this->kind = copy.kind;
  for (uint64 index = 0; index < copy.childs.size(); index++)
    this->childs.push_back(newInstance(copy.childs[index]));
}


smtAstAbstractNode::~smtAstAbstractNode() {
  freeAllNodes(this->childs);
}


enum kind_e smtAstAbstractNode::getKind(void) {
  return this->kind;
}


std::vector<smtAstAbstractNode *> &smtAstAbstractNode::getChilds(void) {
  return this->childs;
}


void smtAstAbstractNode::addChild(smtAstAbstractNode *child) {
  this->childs.push_back(child);
}


// ====== assert


smtAstAssertNode::smtAstAssertNode(smtAstAbstractNode *expr) {
  this->kind = ASSERT_NODE;
  this->addChild(expr);
}


smtAstAssertNode::smtAstAssertNode(const smtAstAssertNode &copy) {
  this->kind = copy.kind;<commit_msg>Little fix<commit_after>/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the LGPLv3 License.
*/

#ifndef LIGHT_VERSION

#include "SMT2Lib.h"

using namespace smt2lib;


// ====== Abstract node


smtAstAbstractNode::smtAstAbstractNode(enum kind_e kind) {
  this->kind = kind;
}


smtAstAbstractNode::smtAstAbstractNode() {
  this->kind = UNDEFINED_NODE;
}


smtAstAbstractNode::smtAstAbstractNode(const smtAstAbstractNode &copy) {
  this->kind = copy.kind;
  for (uint64 index = 0; index < copy.childs.size(); index++)
    this->childs.push_back(newInstance(copy.childs[index]));
}


smtAstAbstractNode::~smtAstAbstractNode() {
  // virtual
}


enum kind_e smtAstAbstractNode::getKind(void) {
  return this->kind;
}


std::vector<smtAstAbstractNode *> &smtAstAbstractNode::getChilds(void) {
  return this->childs;
}


void smtAstAbstractNode::addChild(smtAstAbstractNode *child) {
  this->childs.push_back(child);
}


// ====== assert


smtAstAssertNode::smtAstAssertNode(smtAstAbstractNode *expr) {
  this->kind = ASSERT_NODE;
  this->addChild(expr);
}


smtAstAssertNode::smtAstAssertNode(const smtAstAssertNode &copy) {
  this->kind = copy.kind;
{'fraction_non_alphanumeric': 0.14279661016949152, 'fraction_numerical': 0.005084745762711864, 'mean_word_length': 5.381081081081081, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 26, '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': '1324188', 'n_tokens_mistral': 922, 'n_tokens_neox': 845, 'n_words': 140}