![]() |
Ultra 0.9.4
|
Namespaces | |
| namespace | ultra |
Functions | |
| bool | ultra::src::serialize::save (std::ostream &out, const basic_oracle &ora) |
| bool | ultra::src::serialize::save (std::ostream &out, const basic_oracle *ora) |
| bool | ultra::src::serialize::save (std::ostream &out, const std::unique_ptr< basic_oracle > &ora) |
Variables | |
| std::map< std::string, build_func > | ultra::src::serialize::oracle::internal::factory_ |
This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/
| bool ultra::src::serialize::save | ( | std::ostream & | out, |
| const basic_oracle & | ora ) |
Saves an oracle on persistent storage.
| [in] | out | output stream |
| [in] | ora | oracle |