SemOpt  0.2alpha2-SCC
semopt.h File Reference
#include <cmath>
#include <cstdio>
#include <fstream>
#include <cstdlib>
#include <stdlib.h>
#include <vector>
#include <time.h>
#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstring>
#include <string>
#include <cassert>
#include <set>
#include "AF.h"
#include "OrClause.h"
#include "SATFormulae.h"
#include "SetArguments.h"
#include "Labelling.h"
#include "Argument.h"
#include "Preferred.h"

Go to the source code of this file.

Variables

bool debug
 Configuration variables.

Detailed Description

Author
Federico Cerutti f.cer.nosp@m.utti.nosp@m.@abdn.nosp@m..ac..nosp@m.uk

Definition in file semopt.h.