spot
0.9.1
|
#include <ltlvisit/mark.hh>
Public Member Functions | |
const formula * | mark_concat_ops (const formula *f) |
Mark operators NegClosure and EConcat. | |
const formula * | simplify_mark (const formula *f) |
mark_tools () | |
~mark_tools () | |
Private Types | |
typedef Sgi::hash_map< const formula *, const formula *, ptr_hash< formula > > | f2f_map |
Private Attributes | |
f2f_map | simpmark_ |
f2f_map | markops_ |
visitor * | simpvisitor_ |
visitor * | markvisitor_ |
typedef Sgi::hash_map<const formula*, const formula*, ptr_hash<formula> > spot::ltl::mark_tools::f2f_map [private] |
const formula* spot::ltl::mark_tools::simplify_mark | ( | const formula * | f | ) |
f2f_map spot::ltl::mark_tools::markops_ [private] |
visitor* spot::ltl::mark_tools::markvisitor_ [private] |
f2f_map spot::ltl::mark_tools::simpmark_ [private] |
visitor* spot::ltl::mark_tools::simpvisitor_ [private] |