OKlibrary  0.2.1.6
tawSolver.cpp File Reference
#include <limits>
#include <vector>
#include <array>
#include <iostream>
#include <fstream>
#include <string>
#include <sstream>
#include <type_traits>
#include <iomanip>
#include <exception>
#include <cstdlib>
#include <cmath>
#include <cstdint>
#include <cassert>
#include <csignal>
#include <sys/resource.h>

Go to the source code of this file.

Defines

#define LIT_TYPE   std::int32_t
#define UCP_STRATEGY   1
#define S(x)   #x
#define STR(x)   S(x)

Enumerations

enum  Error_codes
enum  Result_value
enum  Polarity

Functions

int main (const int argc, const char *const argv[])

Define Documentation

#define LIT_TYPE   std::int32_t

Definition at line 169 of file tawSolver.cpp.

#define STR (   x)    S(x)

Definition at line 1101 of file tawSolver.cpp.

#define UCP_STRATEGY   1

Definition at line 594 of file tawSolver.cpp.


Enumeration Type Documentation

Definition at line 121 of file tawSolver.cpp.

enum Polarity

Definition at line 181 of file tawSolver.cpp.

Definition at line 134 of file tawSolver.cpp.


Function Documentation

int main ( const int  argc,
const char *const  argv[] 
)

Definition at line 1292 of file tawSolver.cpp.