spot
1.1.4
|
#include <ltlvisit/mark.hh>
Public Member Functions | |
const formula * | mark_concat_ops (const formula *f) |
Mark operators NegClosure and EConcat. More... | |
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_ |
|
private |
spot::ltl::mark_tools::mark_tools | ( | ) |
spot::ltl::mark_tools::~mark_tools | ( | ) |
|
private |
|
private |
|
private |
|
private |