alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltlfilt: remove -n.

Browse source 
* src/bin/ltlfilt.cc: Remove short option -n for --negate.
This commit is contained in:
Alexandre Duret-Lutz 2015-01-14 18:24:31 +01:00
parent 7c55500d0e
commit ae234d2e12
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/bin/ltlfilt.cc
View file

@ -85,6 +85,7 @@ Exit status:\n\
#define OPT_STUTTER_INSENSITIVE 29 #define OPT_STUTTER_INSENSITIVE 29
#define OPT_AP_N 30 #define OPT_AP_N 30
#define OPT_IGNORE_ERRORS 31 #define OPT_IGNORE_ERRORS 31
#define OPT_NEGATE 256
static const argp_option options[] = static const argp_option options[] =
{ {
@ -98,7 +99,7 @@ static const argp_option options[] =
"do not report syntax errors", 0 }, "do not report syntax errors", 0 },
/**************************************************/ /**************************************************/
{ 0, 0, 0, 0, "Transformation options:", 3 }, { 0, 0, 0, 0, "Transformation options:", 3 },
{ "negate", 'n', 0, 0, "negate each formula", 0 }, { "negate", OPT_NEGATE, 0, 0, "negate each formula", 0 },
{ "nnf", OPT_NNF, 0, 0, "rewrite formulas in negative normal form", 0 }, { "nnf", OPT_NNF, 0, 0, "rewrite formulas in negative normal form", 0 },
{ "relabel", OPT_RELABEL, "abc|pnn", OPTION_ARG_OPTIONAL, { "relabel", OPT_RELABEL, "abc|pnn", OPTION_ARG_OPTIONAL,
"relabel all atomic propositions, alphabetically unless " \ "relabel all atomic propositions, alphabetically unless " \
@ -263,9 +264,6 @@ parse_opt(int key, char* arg, struct argp_state*)
// This switch is alphabetically-ordered. // This switch is alphabetically-ordered.
switch (key) switch (key)
{ {
case 'n':
negate = true;
break;
case 'q': case 'q':
output_format = quiet_output; output_format = quiet_output;
break; break;
@ -332,6 +330,9 @@ parse_opt(int key, char* arg, struct argp_state*)
case OPT_LTL: case OPT_LTL:
ltl = true; ltl = true;
break; break;
case OPT_NEGATE:
negate = true;
break;
case OPT_NNF: case OPT_NNF:
nnf = true; nnf = true;
break; break;