blackbox-process.hh

Go to the documentation of this file.

/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Jip J. Dekker <jip.dekker@monash.edu>
 *
 *  Contributing authors:
 *     Mikael Zayenz Lagerkvist <lagerkvist@gecode.dev>
 *
 *  Copyright:
 *     Jip J. Dekker, 2026
 */
#ifndef GECODE_FLATZINC_BLACKBOX_PROCESS_HH
#define GECODE_FLATZINC_BLACKBOX_PROCESS_HH
 
#include <string>
#include <vector>
 
#ifdef GECODE_HAS_THREADS
#include <thread>
#endif
 
namespace Gecode { namespace FlatZinc {

class BlackBoxProcessSession {
protected:
#ifdef GECODE_HAS_THREADS
  std::thread::id owner;
#endif
  BlackBoxProcessSession(void)
#ifdef GECODE_HAS_THREADS
    : owner(std::this_thread::get_id())
#endif
  {}
public:
  virtual ~BlackBoxProcessSession(void) {}
  bool owned_by_current_thread(void) const {
#ifdef GECODE_HAS_THREADS
    return owner == std::this_thread::get_id();
#else
    return true;
#endif
  }
  virtual std::string exchange(const std::string& request) = 0;
};

BlackBoxProcessSession*
create_blackbox_process(const std::string& program,
                        const std::vector<std::string>& args);
 
}}
 
#endif
 
// STATISTICS: flatzinc-other