20 #ifndef SPOT_LTLVISIT_SNF_HH
21 #define SPOT_LTLVISIT_SNF_HH
24 #include "misc/hash.hh"
31 typedef Sgi::hash_map<
const formula*,
const formula*,
32 ptr_hash<formula> > snf_cache;
50 SPOT_API
const formula*
54 star_normal_form(
const formula* sere, snf_cache* cache = 0);
58 #endif // SPOT_LTLVISIT_SNF_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32