From 166cae849956e9976143218122ea77bb3f534fb1 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Mon, 2 Apr 2018 17:23:34 +0200
Subject: [PATCH] cloning formulae

---
 src/logic/formulae.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/logic/formulae.cpp b/src/logic/formulae.cpp
index d6d2dd8..5b73050 100644
--- a/src/logic/formulae.cpp
+++ b/src/logic/formulae.cpp
@@ -1,5 +1,6 @@
 #include "formulae.h"
 #include "storm/logic/Formulas.h"
+#include "storm/logic/CloneVisitor.h"
 
 
 void define_formulae(py::module& m) {
@@ -13,6 +14,7 @@ void define_formulae(py::module& m) {
 
     py::class_<storm::logic::Formula, std::shared_ptr<storm::logic::Formula>> formula(m, "Formula", "Generic Storm Formula");
     formula.def("__str__", &storm::logic::Formula::toString)
+        .def("clone", [](storm::logic::Formula const& f) { storm::logic::CloneVisitor cv; return cv.clone(f);})
     ;
 
     // Path Formulae