spot  1.1.4
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 Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4