35 return '(' +
c.first +
',' +
c.second +
')';
42 for (
auto const& v : q) {
43 s.append(sep).append(v.to_string());
53 for (
auto const& pr :
t) {
54 s.append(sep).append(pr.first +
':' + pr.second.to_string());
94 e.set_prolog(new_prolog_state);
102 pr.second.set_prolog(new_prolog_state);
120 static std::regex
const splitRE(
"(.*):([0-9-]*)");
122 if (std::regex_match(
src_info, m, splitRE)) {
124 std::string(
"line ") + m[2].str() +
" of file \"" + m[1].str() +
'"';
126 result =
"<unknown>";
bool isSnippetMode(bool m)
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
void set_prolog(bool new_prolog_state)