diff options
| -rw-r--r-- | ingen/World.hpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ingen/World.hpp b/ingen/World.hpp index b2b31298..fc77593a 100644 --- a/ingen/World.hpp +++ b/ingen/World.hpp @@ -17,6 +17,7 @@ #ifndef INGEN_WORLD_HPP #define INGEN_WORLD_HPP +#include <mutex> #include <string> #include "ingen/ingen.h" @@ -123,6 +124,9 @@ public: virtual char**& argv(); virtual Configuration& conf(); + /** Lock for rdf_world() or lilv_world(). */ + virtual std::mutex& rdf_mutex(); + virtual Sord::World* rdf_world(); virtual LilvWorld* lilv_world(); |