spot  1.1.4
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. More...
 
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:27 for spot by doxygen 1.8.4