#include "ltlast/formula.hh"
#include "ltlast/visitor.hh"
Include dependency graph for clone.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Classes | |
class | spot::ltl::clone_visitor |
Clone a formula. More... | |
Functions | |
formula * | spot::ltl::clone (const formula *f) |
Clone a formula. |