spot  1.0
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

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