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
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);
}
back to top