spot  1.0
Public Member Functions | Protected Attributes | List of all members
spot::printable_formula Class Reference

#include <tgbaalgos/stats.hh>

Inheritance diagram for spot::printable_formula:
Inheritance graph
Collaboration diagram for spot::printable_formula:
Collaboration graph

Public Member Functions

printable_formulaoperator= (const ltl::formula *new_val)
virtual void print (std::ostream &os, const char *) const
const const ltl::formula *& val () const
const ltl::formula *& val ()
 operator const const ltl::formula *& () const
 operator const ltl::formula *& ()

Protected Attributes

const ltl::formulaval_

Member Function Documentation

spot::printable_value< const ltl::formula * >::operator const const ltl::formula * & ( ) const
inlineinherited
spot::printable_value< const ltl::formula * >::operator const ltl::formula * & ( )
inlineinherited
printable_formula& spot::printable_formula::operator= ( const ltl::formula new_val)
inline
virtual void spot::printable_formula::print ( std::ostream &  os,
const char *   
) const
virtual
const const ltl::formula * & spot::printable_value< const ltl::formula * >::val ( ) const
inlineinherited
const ltl::formula * & spot::printable_value< const ltl::formula * >::val ( )
inlineinherited

Member Data Documentation

const ltl::formula * spot::printable_value< const ltl::formula * >::val_
protectedinherited

Referenced by operator=().


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 Sat Oct 27 2012 09:34:34 for spot by doxygen 1.8.1.2