SemOpt  $Revision:83+[c2a47fa11ed3+]$
SemOpt.cpp File Reference

Main file. More...

#include "semopt.h"

Go to the source code of this file.

Functions

int main (int argc, char *argv[])
 Main.

Variables

bool debug = false
 Configuration variables.

Detailed Description

Main file.

Author
Federico Cerutti f.cer.nosp@m.utti.nosp@m.@abdn.nosp@m..ac..nosp@m.uk and Mauro Vallati m.val.nosp@m.lati.nosp@m.@hud..nosp@m.ac.u.nosp@m.k

Definition in file SemOpt.cpp.

Function Documentation

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

Main.

Return values
intThe return value can be:
  • -127: Missing parameters
  • -1: Unable to parse the AF file
  • -126: Something goes wrong
  • -125: Wrong SAT Solver
  • 0: SUCCESS!!!

Definition at line 38 of file SemOpt.cpp.

References GroundedSemantics::compute(), StableSemantics::compute(), SemistableSemantics::compute(), PreferredSemantics::compute(), CompleteSemantics::compute(), PreferredSemantics::compute_depht_first(), GroundedSemantics::compute_poly(), parseParams(), AF::readFile(), and showHelp().