Commit 88a6bd82 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

document --enable-max-accsets

* README, doc/org/hoa.org: Here.
parent 2e165f18
Pipeline #1856 failed with stages
in 69 minutes and 30 seconds
......@@ -115,6 +115,14 @@ flags specific to Spot:
do not have a working Python 3.2+ installation or if you are
attempting some cross-compilation.
--enable-max-accsets=N
Compile Spot so that it supports up to N acceptance sets. The
default is 32, so that the membership of each transition to
any of the 32 acceptance sets can be represented by an
"unsigned int" (interpreted as a bit-vector). Using a larger
N (it still has to be a multiple of 32) will consume more
unsigned ints per transitions, costing both time and space.
--enable-doxygen
Generate the Doxygen documentation for the code as part of the
build. This requires Doxygen to be installed. Even if
......
......@@ -58,14 +58,15 @@ the HOA format, the output may not be exactly the same as the input.
- Automata using explicit alphabet (introduced in version 1.1 of the
format via =Alphabet:=) are not supported.
- The maximum number of acceptance sets used is (currently) limited
to 32.
This limit is not very hard to increase in the source code,
however we want to keep it until it becomes an actual problem. So
please report to us if you suffer from it. In the past, this
limitation has forced us to improve some of our algorithms to be
less wasteful and not introduce useless acceptance sets.
- The maximum number of acceptance sets used is limited to 32.
In the past, this limitation has forced us to improve some of our
algorithms to be less wasteful and not introduce useless acceptance
sets.
This hard-coded limit can be augmented at configure time
using option `--enable-max-accsets=N`, but doing so will consume
more memory and time.
- Multiple (or missing) initial states are emulated.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment