Skip to main content
Revision cfdc7053f2bba3965c665328fc1d014f44cab16b authored by Lonca Emmanuel on 17 March 2021, 12:16:06 UTC, committed by Lonca Emmanuel on 17 March 2021, 12:16:06 UTC
cleaned configure.ac
1 parent 76983f8
Raw File
ConflictFreenessEncodingSatProblemReducer.cc
#include "ConflictFreenessEncodingSatProblemReducer.h"

using namespace CoQuiAAS;


ConflictFreenessEncodingSatProblemReducer::ConflictFreenessEncodingSatProblemReducer(VarMap& initVarMap, Attacks& initAttacks): SatProblemReducer(initVarMap, initAttacks) {}


void ConflictFreenessEncodingSatProblemReducer::init() {
    SatEncodingHelper helper(this->slv, this->initAttacks, this->initVarMap);
    int disjId = helper.reserveDisjunctionVars();
	helper.createAttackersDisjunctionVars(disjId);
	helper.createConflictFreenessEncodingConstraints(disjId);
}
back to top