contain.hh File Reference

#include "ltlast/formula.hh"
#include "tgbaalgos/ltl2tgba_fm.hh"
#include "misc/hash.hh"
#include <map>

Include dependency graph for contain.hh:

Go to the source code of this file.

Namespaces
namespace	spot
namespace	spot::ltl
Classes
class	spot::ltl::language_containment_checker
struct	spot::ltl::language_containment_checker::record_
Functions
formula *	spot::ltl::reduce_tau03 (const formula *f, bool stronger=true)
	Reduce a formula using language containment relationships.

---

Please comment this page and report errors about it on the RefDocComments page.