Ltl_CheckLtlSpec()
The main routine to perform LTL model checking.
Ltl_Init()
Initializes the ltl package.
ltl_remove_layer()
Private service that removes the given layer from the symbol table, and from both the boolean and bdd encodings.

Last updated on 2009/01/30 14h:53