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

python: fix translate's doc string

Browse source 
* python/spot/__init__.py (translate): Mention 'generic' in doc string.
This commit is contained in:
Alexandre Duret-Lutz 2016-02-09 18:28:31 +01:00
parent 8a5f652384
commit 0d9019ea39
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/spot/__init__.py
View file

@ -593,7 +593,7 @@ def translate(formula, *args, dict=_bdd_dict):
may not be satisfied.
The optional arguments should be strings among the following:
- at most one in 'TGBA', 'BA', or 'Monitor'
- at most one in 'TGBA', 'BA', or 'Monitor', 'generic'
(type of automaton to build)
- at most one in 'Small', 'Deterministic', 'Any'
(preferred characteristics of the produced automaton)