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
MaxSatEncodingHelper.h
/*
 * MaxSatEncodingHelper.h
 *
 *  Created on: 5 déc. 2016
 *      Author: lonca
 */

#ifndef SRC_ARGSOLVERS_MAXSATENCODINGHELPER_H_
#define SRC_ARGSOLVERS_MAXSATENCODINGHELPER_H_


#include <memory>

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


namespace CoQuiAAS {


class MaxSatEncodingHelper : public SatEncodingHelper {

public:

	MaxSatEncodingHelper(std::shared_ptr<MaxSatSolver> solver, Attacks& attacks, VarMap& varMap);

	void setMaxRangeNeeded(int disjVarsStartId);

	void setMaxExtensionNeeded(int disjVarsStartId);

	virtual ~MaxSatEncodingHelper();

private:

	std::shared_ptr<MaxSatSolver> solver;
};


}


#endif /* SRC_ARGSOLVERS_MAXSATENCODINGHELPER_H_ */
back to top