|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Types | |
| using | iterator = std::vector<path_component>::iterator |
| using | const_iterator = std::vector<path_component>::const_iterator |
Friends | |
| TOML_NODISCARD friend path | operator+ (const path &lhs, const path &rhs) |
| TOML_NODISCARD friend path | operator+ (const path &lhs, std::string_view rhs) |
| TOML_NODISCARD friend path | operator+ (std::string_view lhs, const path &rhs) |
| TOML_ALWAYS_INLINE friend std::ostream & | operator<< (std::ostream &os, const path &rhs) |
| TOML_PURE_INLINE_GETTER friend bool | operator== (const path &lhs, const path &rhs) noexcept |
| TOML_PURE_INLINE_GETTER friend bool | operator!= (const path &lhs, const path &rhs) noexcept |
| TOML_NODISCARD TOML_ALWAYS_INLINE friend bool | operator== (const path &lhs, std::string_view rhs) |
| TOML_NODISCARD TOML_ALWAYS_INLINE friend bool | operator== (std::string_view lhs, const path &rhs) |
| TOML_NODISCARD TOML_ALWAYS_INLINE friend bool | operator!= (const path &lhs, std::string_view rhs) |
| TOML_NODISCARD TOML_ALWAYS_INLINE friend bool | operator!= (std::string_view lhs, const path &rhs) |
| using path::const_iterator = std::vector<path_component>::const_iterator |
| using path::iterator = std::vector<path_component>::iterator |
|
defaultnoexcept |
|
explicit |
|
defaultnoexcept |
|
default |
|
defaultnoexcept |
|
inline |
|
inline |
|
inline |
|
inline |
|
inlinenoexcept |
|
inline |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
noexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
| TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION path path::leaf | ( | size_t | n = 1 | ) | const |
|
inlineexplicitnoexcept |
|
inlineexplicit |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::operator+= | ( | const path & | ) |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::operator+= | ( | path && | ) |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::operator+= | ( | std::string_view | ) |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::operator= | ( | std::string_view | ) |
|
inlinenoexcept |
|
inlinenoexcept |
| TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION path path::parent | ( | ) | const |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::prepend | ( | const path & | ) |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::prepend | ( | path && | ) |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::prepend | ( | std::string_view | ) |
|
inlinenoexcept |
| TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION std::string path::str | ( | ) | const |
| TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION path path::subpath | ( | const_iterator | start, |
| const_iterator | end ) const |
| TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION path path::subpath | ( | size_t | start, |
| size_t | length ) const |
| TOML_EXPORTED_MEMBER_FUNCTION path & path::truncate | ( | size_t | n | ) |
| TOML_NODISCARD TOML_EXPORTED_MEMBER_FUNCTION path path::truncated | ( | size_t | n | ) | const |
|
friend |
|
friend |
|
friend |
|
friend |
|
friend |
|
friend |
|
friend |
|
friend |
|
friend |
|
friend |