-
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/03/04 13h:34