spot
1.0.1
|
Go to the source code of this file.
Classes | |
class | spot::ltl::clone_visitor |
Clone a formula.This visitor is public, because it's convenient to derive from it and override part of its methods. But if you just want the functionality, consider using spot::ltl::formula::clone instead, it is way faster. More... |
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Functions | |
const formula * | spot::ltl::clone (const formula *f) |
Clone a formula. |