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

simplify idem test

Browse Source
This commit is contained in:
David Allemang
2022-09-15 10:54:55 -04:00
parent 3a7b747357
commit 97d19a4600
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
tc/src/core.cpp
View File

@@ -137,20 +137,20 @@ namespace tc {
auto &trow = rel_tables.rows[target][table_idx]; auto &trow = rel_tables.rows[target][table_idx];
auto &crow = rel_tables.rows[coset][table_idx]; auto &crow = rel_tables.rows[coset][table_idx];
// Test if loop is closed
Coset other_gen = (i == gen) ? j : i; Coset other_gen = (i == gen) ? j : i;
// Test if loop is closed
if (trow.free) { if (trow.free) {
if (target == coset) {
trow.gnr = -1;
}
trow = crow; trow = crow;
trow.gnr++; trow.gnr++;
if (target == coset) {
trow.idem = true;
}
if (trow.idem) { if (trow.idem) {
if (trow.gnr == m) { if (trow.gnr == m) {
// loop is closed, but internal, so the target links to itself via this generator. // loop is closed, but idempotent, so the target links to itself via the other generator.
// todo might be able to move this logic up into the (target == coset) block and avoid those computations. // todo might be able to move this logic up into the (target == coset) block and avoid those computations.
facts.push(target * ngens + other_gen); facts.push(target * ngens + other_gen);
} }