The prop package
Manager of generic properties
By Marco Roveri, Roberto Cavada
This file is responsible of manipulate all the
informations associated to a given property, i.e. the kind of
property, the property itself, its cone of influence, if the
property is not satisfied the associated copunter-example, the
associated FSM in different formats (flatten sexp, flatten boolean
sexp, bdd, and BE).
Last updated on 2009/03/04 13h:34