From af1d05fd13b9a3097a7ee50c8b8fd07e4cfe8b0f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Feb 2015 11:35:20 +0100 Subject: [PATCH] bin: better documentation for --hoaf=s * src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc: Here. --- src/bin/common_aoutput.cc | 6 ++++-- src/bin/dstar2tgba.cc | 6 ++++-- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/src/bin/common_aoutput.cc b/src/bin/common_aoutput.cc index dc83891ce..214bf0250 100644 --- a/src/bin/common_aoutput.cc +++ b/src/bin/common_aoutput.cc @@ -56,8 +56,10 @@ static const argp_option options[] = "(t) force transition-based acceptance.", 0 }, { "hoaf", 'H', "s|t|m|l", OPTION_ARG_OPTIONAL, "Output the automaton in HOA format. Add letters to select " - "(s) state-based acceptance, (t) transition-based acceptance, " - "(m) mixed acceptance, (l) single-line output", 0 }, + "(s) prefer state-based acceptance when possible [default], " + "(t) force transition-based acceptance, " + "(m) mix state and transition-based acceptance, " + "(l) single-line output", 0 }, { "lbtt", OPT_LBTT, "t", OPTION_ARG_OPTIONAL, "LBTT's format (add =t to force transition-based acceptance even" " on Büchi automata)", 0 }, diff --git a/src/bin/dstar2tgba.cc b/src/bin/dstar2tgba.cc index 8ee0eba09..15d41ae55 100644 --- a/src/bin/dstar2tgba.cc +++ b/src/bin/dstar2tgba.cc @@ -78,8 +78,10 @@ static const argp_option options[] = "(t) force transition-based acceptance.", 0 }, { "hoaf", 'H', "s|t|m|l", OPTION_ARG_OPTIONAL, "Output the automaton in HOA format. Add letters to select " - "(s) state-based acceptance, (t) transition-based acceptance, " - "(m) mixed acceptance, (l) single-line output", 0 }, + "(s) prefer state-based acceptance when possible [default], " + "(t) force transition-based acceptance, " + "(m) mix state and transition-based acceptance, " + "(l) single-line output", 0 }, { "lbtt", OPT_LBTT, "t", OPTION_ARG_OPTIONAL, "LBTT's format (add =t to force transition-based acceptance even" " on Büchi automata)", 0 },