document emptiness_check::parse_options()
Requested by Yann.
The different options that can be passed are not specified. The only doc is currently on the old site at http://spot.lip6.fr/wiki/EmptinessCheckOptions
Requested by Yann.
The different options that can be passed are not specified. The only doc is currently on the old site at http://spot.lip6.fr/wiki/EmptinessCheckOptions