spot  0.9.1
Public Member Functions | Private Types | Private Attributes
spot::ltl::mark_tools Class Reference

#include <ltlvisit/mark.hh>

Collaboration diagram for spot::ltl::mark_tools:
Collaboration graph
[legend]

List of all members.

Public Member Functions

const formulamark_concat_ops (const formula *f)
 Mark operators NegClosure and EConcat.
const formulasimplify_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_
visitorsimpvisitor_
visitormarkvisitor_

Member Typedef Documentation


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation


The documentation for this class was generated from the following file:

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed May 23 2012 12:06:47 for spot by doxygen 1.7.6.1