load_system.hpp File Reference

Reloading an archived system from a records directory by its content digest. More...

#include <memory>
#include <string>
#include "bertini2/records/output_directory.hpp"
#include "bertini2/system/system.hpp"

Include dependency graph for load_system.hpp:

Go to the source code of this file.

Namespaces
namespace	bertini
namespace	bertini::records

Functions
std::string	bertini::records::EncodingOfSystemDefinition (std::string const &definition_json)
	The canonical encoding text inside an archived system definition document.
std::shared_ptr< const System >	bertini::records::LoadSystem (OutputDirectory const &directory, std::string const &digest_hex)
	Load the system archived under digest_hex in directory.

Detailed Description

Reloading an archived system from a records directory by its content digest.

The archive stores every system and homotopy a solve touched as a definition document whose encoding member is the system's exact canonical encoding – the digest preimage (see SystemEncodingAsJson). Loading is: fetch the document, decode the encoding (System::FromCanonicalEncoding), check that the rebuilt system's digest is the digest it was filed under, and intern it. The digest check is the proof of fidelity: a loaded system is the archived one, byte for byte in its identity, or the load fails.