SemOpt
$Revision:83+[c2a47fa11ed3+]$
|
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. |
int main | ( | int | argc, |
char * | argv[] | ||
) |
Main.
int | The return value can be:
|
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().