spot
0.9.1
|
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. |