spot  1.1.3
Namespaces | Functions
minimize.hh File Reference
#include "ta/ta.hh"
#include "ta/tgta.hh"
#include "ta/tgtaexplicit.hh"
Include dependency graph for minimize.hh:

Go to the source code of this file.

Namespaces

 spot
 

Functions

ta * spot::minimize_ta (const ta *ta_)
 Construct a simplified TA by merging bisimilar states. More...
 
tgta_explicit * spot::minimize_tgta (const tgta_explicit *tgta_)
 Construct a simplified TGTA by merging bisimilar states. More...
 

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:33 for spot by doxygen 1.8.4