spot  1.1.3
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:34 for spot by doxygen 1.8.4