spot  1.0.2
Namespaces | Enumerations | Functions
reductgba_sim.hh File Reference

Go to the source code of this file.

Namespaces

namespace  spot

Enumerations

enum  spot::reduce_tgba_options {
  spot::Reduce_None = 0, spot::Reduce_quotient_Dir_Sim = 1, spot::Reduce_transition_Dir_Sim = 2, spot::Reduce_quotient_Del_Sim = 4,
  spot::Reduce_transition_Del_Sim = 8, spot::Reduce_Scc = 16, spot::Reduce_All = -1U
}
 Options for reduce. More...

Functions

const tgba * spot::reduc_tgba_sim (const tgba *a, int opt=Reduce_All)
 Simplify the automaton using a simulation relation.

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2