The opt package
The option header file.
By Marco Roveri
Information for programmers
Information for developers sorted by function
Information for developers sorted by file
This file conatins a data structure to manage all the command line options of the NuSMV system.
Last updated on 2012/11/18 14h:16