19 #ifndef SPOT_LTLVISIT_MARK_HH
20 # define SPOT_LTLVISIT_MARK_HH
24 #include "misc/hash.hh"
56 #endif // SPOT_LTLVISIT_MARK_HH
const formula * mark_concat_ops(const formula *f)
Mark operators NegClosure and EConcat.
Formula visitor.
Definition: visitor.hh:41
A hash function for pointers.
Definition: hash.hh:80