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.h
#ifndef __CF_SAT_PROBLEM_REDUCER_H__
#define __CF_SAT_PROBLEM_REDUCER_H__

#include "SatProblemReducer.h"

namespace CoQuiAAS {

class ConflictFreenessEncodingSatProblemReducer : public SatProblemReducer {

public:

    ConflictFreenessEncodingSatProblemReducer(VarMap& initVarMap, Attacks& initAttacks);

protected:

    void init();

};

}

#endif
back to top