spot
1.1.3
|
#include "ltlast/formula.hh"
#include "tgbaalgos/ltl2tgba_fm.hh"
#include "misc/hash.hh"
#include <map>
Go to the source code of this file.
Classes | |
class | spot::ltl::language_containment_checker |
struct | spot::ltl::language_containment_checker::record_ |
Namespaces | |
spot | |
spot::ltl | |
Functions | |
const formula * | spot::ltl::reduce_tau03 (const formula *f, bool stronger=true) |
Reduce a formula using language containment relationships. More... | |