C++ (Cpp) Lit::comp Beispiele

Beispiel #1

Datei: Clause.hpp Projekt: PJames/oklibrary

 inline Lit comp(const Lit x) {
   return x.comp();
 }