#include "ltlast/formula.hh"
#include "ltlast/visitor.hh"
Include dependency graph for nenoform.hh:
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
formula * | negative_normal_form (const formula *f, bool negated=false) |
Build the negative normal form of f. |