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