Home
last modified time | relevance | path

Searched refs:d_managed (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dmanaged_ostreams.cpp28 ManagedOstream::ManagedOstream() : d_managed(NULL) {} in ManagedOstream()
32 Assert(d_managed == NULL); in ~ManagedOstream()
49 if(d_managed == new_managed_value){ in manage()
52 Assert(d_managed != new_managed_value); in manage()
53 std::ostream* old_managed_value = d_managed; in manage()
54 d_managed = new_managed_value; in manage()
H A Dmanaged_ostreams.h38 std::ostream* getManagedOstream() const { return d_managed; } in getManagedOstream()
74 std::ostream* d_managed;
/dports/multimedia/libv4l/linux-5.13-rc2/include/linux/
H A Ddcache.h380 static inline bool d_managed(const struct dentry *dentry) in d_managed() function
/dports/multimedia/v4l_compat/linux-5.13-rc2/include/linux/
H A Ddcache.h380 static inline bool d_managed(const struct dentry *dentry) in d_managed() function
/dports/multimedia/v4l-utils/linux-5.13-rc2/include/linux/
H A Ddcache.h380 static inline bool d_managed(const struct dentry *dentry) in d_managed() function