38 return '(' + c.first +
',' + c.second +
')';
45 for (
auto const& v : q) {
46 s.append(sep).append(v.to_string());
56 for (
auto const& pr : t) {
57 s.append(sep).append(pr.first +
':' + pr.second.to_string());
97 e.set_prolog(new_prolog_state);
105 pr.second.set_prolog(new_prolog_state);
123 static std::regex
const splitRE(
"(.*):([0-9-]*)");
125 if (std::regex_match(
src_info, m, splitRE)) {
127 std::string(
"line ") + m[2].str() +
" of file \"" + m[1].str() +
'"';
129 result =
"<unknown>";
std::pair< std::string, std::string > complex_t
std::vector< extended_value > sequence_t
std::string to_string() const
std::string pretty_src_info() const
bool isSnippetMode(bool m=false) noexcept
void set_prolog(bool new_prolog_state)