Searched refs:getDomainStr (Results 1 – 3 of 3) sorted by relevance
156 statement["domain"] = Stmt.getDomainStr(); in getJSON()
1289 std::string getDomainStr() const;
1202 std::string ScopStmt::getDomainStr() const { return stringFromIslObj(Domain); } in getDomainStr() function in ScopStmt1246 OS.indent(16) << getDomainStr() << ";\n"; in print()