LydiaSyft
Preprocessing.h
1 #ifndef PREPROCESSING_HPP
2 #define PREPROCESSING_HPP
3 
4 #include "Synthesizer.h"
5 #include "game/InputOutputPartition.h"
6 #include <lydia/logic/ltlf/base.hpp>
7 
8 namespace Syft {
9 
10  OneStepSynthesisResult
11  preprocessing(const whitemech::lydia::LTLfFormula &formula, const InputOutputPartition &partition,
12  const Syft::VarMgr &var_mgr, Syft::Player starting_player);
13 }
14 
15 #endif //PREPROCESSING_HPP
Syft::VarMgr
A dictionary that maps variable names to indices and vice versa.
Definition: VarMgr.h:15