spot  0.8.1
Classes | Namespaces | Functions
tunabbrev.hh File Reference
#include "ltlast/formula.hh"
#include "ltlvisit/lunabbrev.hh"
Include dependency graph for tunabbrev.hh:

Go to the source code of this file.

Classes

class  spot::ltl::unabbreviate_ltl_visitor
 Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.The rewriting performed on logical operator is the same as the one done by spot::ltl::unabbreviate_logic_visitor. More...

Namespaces

namespace  spot
namespace  spot::ltl

Functions

formula * spot::ltl::unabbreviate_ltl (const formula *f)
 Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:15 for spot by doxygen 1.7.6.1