Compilare: main.cpp: In constructor 'SAT2::SAT2(int, int)': main.cpp:16:17: warning: 'SAT2::comp' will be initialized after [-Wreorder] 16 | vector<int> comp; | ^~~~ main.cpp:12:18: warning: 'std::vector<bool> SAT2::vis' [-Wreorder] 12 | vector<bool> vis; | ^~~ main.cpp:18:5: warning: when initialized here [-Wreorder] 18 | SAT2(int n, int spec) : | ^~~~ main.cpp:14:25: warning: 'SAT2::ig' will be initialized after [-Wreorder] 14 | vector<vector<int>> ig; | ^~ main.cpp:11:9: warning: 'int SAT2::cur' [-Wreorder] 11 | int cur; | ^~~ main.cpp:18:5: warning: when initialized here [-Wreorder] 18 | SAT2(int n, int spec) : | ^~~~ In file included from /usr/include/c++/10/cassert:44, from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:33, from main.cpp:1: main.cpp: In member function 'void SAT2::addEdge(int, int)': main.cpp:63:18: warning: suggest parentheses around comparison in operand of '&' [-Wparentheses] 63 | assert(1 <= b & b <= 2 * n + spec); | ~~^~~~