spot  1.0.1
Public Member Functions | Private Types | Private Attributes | List of all members
spot::ltl::mark_tools Class Reference

#include <ltlvisit/mark.hh>

Collaboration diagram for spot::ltl::mark_tools:
Collaboration graph

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

spot::ltl::mark_tools::mark_tools ( )
spot::ltl::mark_tools::~mark_tools ( )

Member Function Documentation

const formula* spot::ltl::mark_tools::simplify_mark ( const formula f)

Member Data Documentation

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

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 Jan 23 2013 15:00:04 for spot by doxygen 1.8.1.2