https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: a53e95a59b1df07faef315386eb33e6b91b6c499 authored by akheireddine on 20 August 2021, 15:52:30 UTC
Compute linear regression of LBD curve
Compute linear regression of LBD curve
Tip revision: a53e95a
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;
// -------------------------------------------