Daniel J. Hofmann f10fb77a81 Ownership: vector already owns, no need for wrapping in unique_ptr. ... Removes the pointless `std::unique_ptr<std::vector<T>>` usage, as a `std::vector` already owns its resources and manages them. Results in one indirection less (hint: good).		2015-09-09 18:53:11 +02:00
..
contractor_options.cpp	Serialize out .core file containing core node markers	2015-08-19 12:27:44 +02:00
contractor_options.hpp	Serialize out .core file containing core node markers	2015-08-19 12:27:44 +02:00
contractor.hpp	Also support loading core information into shared memory	2015-08-19 12:27:44 +02:00
edge_based_graph_factory.cpp	Fix Coverity warning in EBGF	2015-08-20 12:28:14 +02:00
edge_based_graph_factory.hpp	Modernize the code base to C++11 standards and beyond.	2015-08-18 12:56:34 +02:00
processing_chain.cpp	Ownership: vector already owns, no need for wrapping in unique_ptr.	2015-09-09 18:53:11 +02:00
processing_chain.hpp	Ownership: vector already owns, no need for wrapping in unique_ptr.	2015-09-09 18:53:11 +02:00
speed_profile.hpp	Move graph compression code outside of EBGF	2015-07-01 18:07:29 +02:00