spot
1.1.3
|
Go to the source code of this file.
Namespaces | |
spot | |
spot::ltl | |
Typedefs | |
typedef Sgi::hash_map< const formula *, const formula *, ptr_hash< formula > > | spot::ltl::snf_cache |
Functions | |
const formula * | spot::ltl::star_normal_form (const formula *sere, snf_cache *cache=0) |