syntimpl.hh File Reference

#include "ltlast/formula.hh"

Include dependency graph for syntimpl.hh:

Go to the source code of this file.

Namespaces
namespace	spot
namespace	spot::ltl
Functions
bool	spot::ltl::syntactic_implication (const formula *f1, const formula *f2)
	Syntactic implication.
bool	spot::ltl::syntactic_implication_neg (const formula *f1, const formula *f2, bool right)
	Syntactic implication.

---

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