flomnes

#include <cassert>
#include <mutex>
#include <vector>

class IMutex
{
public:
    virtual void lock() = 0;
    virtual void unlock() noexcept = 0;
};

flomnes

#include <string>
#include <map>
#include <cmath>

using uint = unsigned int;

std::map<std::string, uint> getRawNumberCoresPerLevel(uint nbLogicalCores)
{
    std::map<std::string, uint> table;

flomnes

#include <iostream>

class Poly
{
public:
  virtual std::string name() const = 0;
  virtual ~Poly() = default;
};

class Impl1 : public Poly

flomnes

class WatchedConstraint 
{
  public:
  WatchedConstraint(std::string name, std::string regexID, std::string infeasibility, std::string infeasibilityCause) : 
  name(name),
  regexID(regexID),
  infeasibility(infeasibility),
  infeasibilityCause(infeasibilityCause) {
  }
  std::string formattedInfeasibility(std::string constraintName) const {

flomnes

#include <iostream>
#include <map>

int main() {
  std::map<int, int> m;
  auto display_m = [&m](const char *msg) {
    std::cout << msg << " ";
    for (auto [k, v] : m) {
      std::cout << "m[" << k << "] = " << v << std::endl;
    }

flomnes

#include <algorithm>
#include <chrono>
#include <iostream>
#include <map>
#include <random>
#include <set>
#include <vector>

// GOAL : benchmark containers for these 2 operations
// - Insert a pair of ints into the container

flomnes

#include <stdio.h>
#include <math.h>

double f(double x, int* nbeval) {
  (*nbeval)++;
  return 1/(1+x*x);
  // replace with 1/(1+x) to obtain log(2) !
}

double intg(double a,double b, double eps, int* nbeval) {