Commit 27698808 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

resolved gcc warnings

parent 3090c038
...@@ -19,7 +19,7 @@ ...@@ -19,7 +19,7 @@
#include "up_quad.h" #include "up_quad.h"
// On only for debugging // On only for debugging
#define ONLY_UP_ONE_PROVE //#define ONLY_UP_ONE_PROVE
SUBool::PCEncoder::PCEncoder(const Config &conf) SUBool::PCEncoder::PCEncoder(const Config &conf)
: AbsEncoder(conf), mConf(conf), mOneProveInputs(), mOneProveOutputs(), : AbsEncoder(conf), mConf(conf), mOneProveInputs(), mOneProveOutputs(),
......
...@@ -34,10 +34,12 @@ namespace SUBool ...@@ -34,10 +34,12 @@ namespace SUBool
struct VarInfo struct VarInfo
{ {
std::vector<unsigned> level_vars; std::vector<unsigned> level_vars{};
std::vector<Literal> out_clause; std::vector<Literal> out_clause{};
}; };
using VarInfoList = std::vector<VarInfo>; using VarInfoList = std::vector<VarInfo>;
struct Context struct Context
{ {
unsigned max_level; unsigned max_level;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment