-
Notifications
You must be signed in to change notification settings - Fork 0
/
DatalogProgram.cpp
60 lines (52 loc) · 1.6 KB
/
DatalogProgram.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
//
// DatalogProgram.cpp
// Project2
//
// Created by Michael Bird on 7/3/14.
// Copyright (c) 2014 Michael Bird. All rights reserved.
//
#include "DatalogProgram.h"
#include <sstream>
DataLog::DataLog() {};
DataLog::~DataLog() {};
void DataLog::add_to_schemes(Predicate &schemes) {
schemes_vector.push_back(schemes);
}
void DataLog::add_to_facts(Predicate &facts) {
facts_vector.push_back(facts);
}
void DataLog::add_to_rules(Rule &rules) {
rules_vector.push_back(rules);
}
void DataLog::add_to_queries(Predicate &queries) {
queries_vector.push_back(queries);
}
void DataLog::add_to_domains(string domain) {
domains_list.insert(domain);
}
string DataLog::toString() {
stringstream final;
final << "Success!" << endl;
final << "Schemes(";
final << schemes_vector.size() << "):" << endl;
for(auto schemes : schemes_vector)
final << " " << schemes.toString() <<endl;
final << "Facts(";
final << facts_vector.size() << "):" << endl;
for(auto facts : facts_vector)
final << " " << facts.toString() << endl;
final << "Rules(";
final << rules_vector.size() << "):" << endl;
for(auto rules : rules_vector)
final << " " << rules.toString()<< endl;
final << "Queries(";
final << queries_vector.size() << "):" << endl;
//queries_vector.pop_back();
for(auto queries : queries_vector)
final << " " << queries.toString() <<endl;
final << "Domain(";
final << domains_list.size() << "):" << endl;
for(auto domain : domains_list)
final << " '" << domain << "'" << endl;
return final.str();
}