23 #ifndef SPOT_LTLVISIT_REDUCE_HH
24 # define SPOT_LTLVISIT_REDUCE_HH
30 #ifndef SKIP_DEPRECATED_WARNING
31 #warning This file and its functions are deprecated. \
32 The functionality moved to ltlvisit/simplify.hh
71 SPOT_API SPOT_DEPRECATED
const formula*
93 SPOT_API SPOT_DEPRECATED
119 SPOT_API SPOT_DEPRECATED
129 #endif // SPOT_LTLVISIT_REDUCE_HH
All reductions.
Definition: reductgba_sim.hh:63
No reduction.
Definition: reductgba_sim.hh:49
Basic reductions.
Definition: reduce.hh:50
Tauriainen containment checks (stronger version).
Definition: reduce.hh:58
Tauriainen containment checks.
Definition: reduce.hh:56
SPOT_API SPOT_DEPRECATED const formula * reduce(const formula *f, int opt=Reduce_All)
Reduce a formula f.
reduce_options
Options for spot::ltl::reduce.
Definition: reduce.hh:45
Etessami & Holzmann eventuality and universality reductions.
Definition: reduce.hh:54
SPOT_API SPOT_DEPRECATED bool is_eventual(const formula *f)
Check whether a formula is a pure eventuality.
SPOT_API SPOT_DEPRECATED bool is_universal(const formula *f)
Check whether a formula is purely universal.
Somenzi & Bloem syntactic implication.
Definition: reduce.hh:52