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
CompleteEncodingSatProblemReducer.cc
#include "CompleteEncodingSatProblemReducer.h"
using namespace CoQuiAAS;
CompleteEncodingSatProblemReducer::CompleteEncodingSatProblemReducer(VarMap& initVarMap, Attacks& initAttacks): SatProblemReducer(initVarMap, initAttacks) {}
void CompleteEncodingSatProblemReducer::init() {
SatEncodingHelper helper(this->slv, this->initAttacks, this->initVarMap);
int disjId0 = helper.reserveDisjunctionVars();
helper.createAttackersDisjunctionVars(disjId0);
helper.createCompleteEncodingConstraints(disjId0);
}