swh:1:snp:5c81b35c32cd128e955f4da753d99c09557a4451
Tip revision: 7e149916f56918f135b5259c3fb0b3f7119f8d07 authored by Lonca Emmanuel on 24 March 2021, 14:04:19 UTC
bumped version number to 3.0.3-dev
bumped version number to 3.0.3-dev
Tip revision: 7e14991
StableEncodingSatProblemReducer.h
#ifndef __ST_SAT_PROBLEM_REDUCER_H__
#define __ST_SAT_PROBLEM_REDUCER_H__
#include "SatProblemReducer.h"
namespace CoQuiAAS {
class StableEncodingSatProblemReducer : public SatProblemReducer {
public:
StableEncodingSatProblemReducer(VarMap& initVarMap, Attacks& initAttacks);
protected:
void init();
};
}
#endif