https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 37073044543a37346c2369f1d4f7c985724edd09 authored by akheireddine on 30 August 2021, 12:42:36 UTC
get minimum attempts script for edacc csv :
get minimum attempts script for edacc csv :
Tip revision: 3707304
painless_wrapper.hh
#pragma once
#include "painless/painless-src/sharing/Sharer.h"
#include "painless/painless-src/working/WorkingStrategy.h"
/// Is it the end of the search
extern atomic<bool> globalEnding;
/// Final result
extern SatResult finalResult;
/// Model for SAT instances
extern vector<int> finalModel;
/// Array of sharers
extern Sharer ** sharers;
/// Size of the array of sharers
extern int nSharers;
// -------------------------------------------
// Declaration of global variables
// -------------------------------------------
atomic<bool> globalEnding(false);
SatResult finalResult = UNKNOWN;
vector<int> finalModel;
Sharer ** sharers = NULL;
int nSharers = 0;
// -------------------------------------------