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
MssEncodingHelper.h
/*
 * MssEncodingHelper.h
 *
 *  Created on: 22 août 2016
 *      Author: lonca
 */

#ifndef SRC_SOLVERS_MSSENCODINGHELPER_H_
#define SRC_SOLVERS_MSSENCODINGHELPER_H_


#include "SatEncodingHelper.h"
#include "MssSolver.h"
#include "Attacks.h"
#include "VarMap.h"


namespace CoQuiAAS {


class MssEncodingHelper : public SatEncodingHelper {

public:

	MssEncodingHelper(std::shared_ptr<MssSolver> solver, Attacks& attacks, VarMap& varMap);

	void setMaxExtensionNeeded();

	void setMaxRangeNeeded(int disjVarsStartId);

	virtual ~MssEncodingHelper();

private:

	std::shared_ptr<MssSolver> solver;
};


}


#endif /* SRC_SOLVERS_MSSENCODINGHELPER_H_ */
back to top