spot
1.0.1
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | 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) |