spot
0.9.1
|
#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 | |
namespace | spot |
namespace | spot::ltl |
Functions | |
const formula * | spot::ltl::reduce_tau03 (const formula *f, bool stronger=true) |
Reduce a formula using language containment relationships. |