search

wwu-pi / muggl

A Symbolic ATCG
GNU General Public License v3.0
2 stars 1 forks source link

Not using all DU Chains #10

Open vvhof opened 9 years ago

vvhof commented 9 years ago

In the example of GCD, the DUGenerator might not add all DU chains existing.

Consider the following example 

while(n != m) {
        if (n > m) {
            n -= m;
        } else {
            m -= n;
        }
    }
    return n;

we might miss DU chains, since finish the branch "n-=m" the moment we found it.