#include "ltlast/formula.hh"
#include "ltlast/visitor.hh"
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
formula * | spot::ltl::negative_normal_form (const formula *f, bool negated=false) |
Build the negative normal form of f.All negations of the formula are pushed in front of the atomic propositions. |