From 936481dcbd5fd2804b99e656a0ce9cb597ebb845 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 26 Apr 2019 10:05:45 +0200 Subject: [PATCH] * bin/spot-x.cc (ba-simul): Update documentation. --- bin/spot-x.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/spot-x.cc b/bin/spot-x.cc index 10acb4219..8fc759f54 100644 --- a/bin/spot-x.cc +++ b/bin/spot-x.cc @@ -122,7 +122,10 @@ simulation. Set to 3 to iterate both direct and reverse simulations. \ The default is 3, except when option --low is specified, in which case \ the default is 1.") }, { DOC("ba-simul", "Set to 0 to disable simulation-based reductions \ -on the Büchi automaton (i.e., after degeneralization has been performed). \ +on automata where state-based acceptance must be preserved (e.g., \ +after degeneralization has been performed). The name suggests this applies \ +only to Büchi automata for historical reasons; it really applies to any \ +state-based acceptance nowadays. \ Set to 1 to use only direct simulation. Set to 2 to use only reverse \ simulation. Set to 3 to iterate both direct and reverse simulations. \ The default is 3 in --high mode, and 0 otherwise.") },