#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. |
|
Build the negative normal form of f. All negations of the formula are pushed in front of the atomic propositions.
|