24 #ifndef SPOT_TGBAALGOS_REDUCTGBA_SIM_HH
25 #define SPOT_TGBAALGOS_REDUCTGBA_SIM_HH
28 #ifndef SKIP_DEPRECATED_WARNING
29 #warning This file is deprecated. Use postproc.hh instead.
33 #include "misc/common.hh"
79 SPOT_API SPOT_DEPRECATED
85 #endif // SPOT_TGBAALGOS_REDUCTGBA_SIM_HH
All reductions.
Definition: reductgba_sim.hh:63
Reduction of transitions using direct simulation relation.
Definition: reductgba_sim.hh:54
No reduction.
Definition: reductgba_sim.hh:49
Reduction of state using delayed simulation relation.
Definition: reductgba_sim.hh:56
reduce_tgba_options
Options for reduce.
Definition: reductgba_sim.hh:43
Reduction using SCC.
Definition: reductgba_sim.hh:60
SPOT_API SPOT_DEPRECATED const tgba * reduc_tgba_sim(const tgba *a, int opt=Reduce_All)
Simplify the automaton using a simulation relation.
Reduction of transition using delayed simulation relation.
Definition: reductgba_sim.hh:58
Reduction of state using direct simulation relation.
Definition: reductgba_sim.hh:52