The opt package

The option header file.

By Marco Roveri


This file conatins a data structure to manage all the command line options of the NuSMV system.
Last updated on 2004/12/28 17h:38