Since Spot 0.2, Spot has a generic interface to designate EmptinessCheckAlgorithms and pass them options. This takes the form of a string like the following:

   Algorithm(Option1 Option2 ...)

Of course, Algorithm should name an emptiness-check algorithm. The parentheses are required only if any option is supplied. Internally, all options are stored as a set of (string, integer)-pairs. In its more generic form, the option specification should look like a variable assignment. For instance

  CVWY90(bsh=4000)

will instantiate the CVWY90 algorithm with option bsh set to 4000. The default value of each option depends on the algorithm.

The following shorthands are also supported

syntax

same as

option

option=1

!option

option=0

option=10K

option=10240

option=10M

option=10485760

Spot implements the following EmptinessCheckAlgorithms, with the following options.

1. Algorithms

EmptinessCheckOptions (last edited 2012-03-04 15:40:38 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.