allemang.d/toddcox-visualize
1
0
Fork 0
mirror of https://github.com/allemangD/toddcox-visualize.git synced 2025-11-10 03:52:48 -05:00
Code Issues Packages Projects Releases Wiki Activity

AoS relation tables

Browse Source
This commit is contained in:
David Allemang
2022-02-26 14:03:03 -05:00
parent ca47291f77
commit 34db72ba8e
1 changed files with 54 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

99
tc/src/core.cpp
View File

@@ -8,25 +8,26 @@ namespace tc {
} }
struct Row { struct Row {
std::vector<int> gnrs; int gnr = 0;
std::vector<int *> lst_ptrs; int *lst_ptr = nullptr;
Row(int num_tables)
: gnrs(num_tables, 0), lst_ptrs(num_tables, nullptr) {
}
}; };
struct Tables { struct Tables {
std::vector<Rel> rels; std::vector<Rel> rels;
std::vector<Row> rows; std::vector<std::vector<Row>> cols;
int num_tables;
explicit Tables(const std::vector<Rel> &rels) explicit Tables(const std::vector<Rel> &rels)
: num_tables(rels.size()), rels(rels) { : rels(rels), cols(rels.size()) {
}
[[nodiscard]] size_t size() const {
return rels.size();
} }
void add_row() { void add_row() {
rows.emplace_back(num_tables); for (auto &col: cols) {
col.emplace_back();
}
} }
}; };
@@ -56,16 +57,16 @@ namespace tc {
int null_lst_ptr; int null_lst_ptr;
rel_tables.add_row(); rel_tables.add_row();
Row &row = rel_tables.rows[0]; for (int table_idx = 0; table_idx < rel_tables.size(); ++table_idx) {
for (int table_idx = 0; table_idx < rel_tables.num_tables; table_idx++) { Rel &rel = rel_tables.rels[table_idx];
Rel &ti = rel_tables.rels[table_idx]; Row &row = rel_tables.cols[table_idx][0];
if (cosets.get(ti.gens[0]) + cosets.get(ti.gens[1]) == -2) { if (cosets.get(rel.gens[0]) + cosets.get(rel.gens[1]) == -2) {
row.lst_ptrs[table_idx] = new int; row.lst_ptr = new int;
row.gnrs[table_idx] = 0; row.gnr = 0;
} else { } else {
row.lst_ptrs[table_idx] = &null_lst_ptr; row.lst_ptr = &null_lst_ptr;
row.gnrs[table_idx] = -1; row.gnr = -1;
} }
} }
@@ -92,7 +93,6 @@ namespace tc {
// rel_tables.del_rows_to(coset); // rel_tables.del_rows_to(coset);
Row &target_row = rel_tables.rows[target];
while (!facts.empty()) { while (!facts.empty()) {
fact_idx = facts.back(); fact_idx = facts.back();
facts.pop_back(); facts.pop_back();
@@ -106,30 +106,38 @@ namespace tc {
gen = fact_idx % ngens; gen = fact_idx % ngens;
if (target == coset) if (target == coset)
for (int table_idx: gen_map[gen])
if (target_row.lst_ptrs[table_idx] == nullptr)
target_row.gnrs[table_idx] = -1;
Row &coset_row = rel_tables.rows[coset];
for (int table_idx: gen_map[gen]) { for (int table_idx: gen_map[gen]) {
if (target_row.lst_ptrs[table_idx] == nullptr) { auto &col = rel_tables.cols[table_idx];
auto &row = col[target];
if (row.lst_ptr == nullptr) {
row.gnr = -1;
}
}
for (int table_idx: gen_map[gen]) {
auto &col = rel_tables.cols[table_idx];
auto &trow = col[target];
auto &crow = col[coset];
if (trow.lst_ptr == nullptr) {
Rel &ti = rel_tables.rels[table_idx]; Rel &ti = rel_tables.rels[table_idx];
target_row.lst_ptrs[table_idx] = coset_row.lst_ptrs[table_idx]; trow.lst_ptr = crow.lst_ptr;
target_row.gnrs[table_idx] = coset_row.gnrs[table_idx] + 1; trow.gnr = crow.gnr + 1;
if (coset_row.gnrs[table_idx] < 0) if (crow.gnr < 0)
target_row.gnrs[table_idx] -= 2; trow.gnr -= 2;
if (target_row.gnrs[table_idx] == ti.mult) { if (trow.gnr == ti.mult) {
lst = *(target_row.lst_ptrs[table_idx]); lst = *(trow.lst_ptr);
delete target_row.lst_ptrs[table_idx]; delete trow.lst_ptr;
gen_ = ti.gens[(int) (ti.gens[0] == gen)]; gen_ = ti.gens[(int) (ti.gens[0] == gen)];
facts.push_back(lst * ngens + gen_); facts.push_back(lst * ngens + gen_);
} else if (target_row.gnrs[table_idx] == -ti.mult) { } else if (trow.gnr == -ti.mult) {
gen_ = ti.gens[ti.gens[0] == gen]; gen_ = ti.gens[ti.gens[0] == gen];
facts.push_back(target * ngens + gen_); facts.push_back(target * ngens + gen_);
} else if (target_row.gnrs[table_idx] == ti.mult - 1) { } else if (trow.gnr == ti.mult - 1) {
*(target_row.lst_ptrs[table_idx]) = target; *(trow.lst_ptr) = target;
} }
} }
} }
@@ -137,16 +145,19 @@ namespace tc {
std::sort(facts.begin(), facts.end(), std::greater<>()); std::sort(facts.begin(), facts.end(), std::greater<>());
} }
for (int table_idx = 0; table_idx < rel_tables.num_tables; table_idx++) { for (int table_idx = 0; table_idx < rel_tables.size(); table_idx++) {
Rel &ti = rel_tables.rels[table_idx]; auto &rel = rel_tables.rels[table_idx];
if (target_row.lst_ptrs[table_idx] == nullptr) { auto &col = rel_tables.cols[table_idx];
if ((cosets.get(target, ti.gens[0]) != target) and auto &trow = col[target];
(cosets.get(target, ti.gens[1]) != target)) {
target_row.lst_ptrs[table_idx] = new int; // todo slow; memory leak. if (trow.lst_ptr == nullptr) {
target_row.gnrs[table_idx] = 0; if ((cosets.get(target, rel.gens[0]) != target) and
(cosets.get(target, rel.gens[1]) != target)) {
trow.lst_ptr = new int; // todo slow; memory leak.
trow.gnr = 0;
} else { } else {
target_row.lst_ptrs[table_idx] = &null_lst_ptr; trow.lst_ptr = &null_lst_ptr;
target_row.gnrs[table_idx] = -1; trow.gnr = -1;
} }
} }
} }