tgraph.c
bool samepath(path* b, path* a) {
    if (a->len != b->len) return false;
    for (u64 i = 0; i < a->len; ++i) {
        if (a->vars[i] != b->vars[i]) return false;
        if (a->vals[i] != b->vals[i]) return false;
    }
    return true;
}
/* Checks if a and b are equivalent */
Checks if a and b are equivalent
Checks if a and b are equivalent
bool samepath(path* b, path* a) {
    if (a->len != b->len) return false;
    for (u64 i = 0; i < a->len; ++i) {
        if (a->vars[i] != b->vars[i]) return false;
        if (a->vals[i] != b->vals[i]) return false;
    }
    return true;
}
bool samepath ( path * b , path * a ) { if ( a -> len != b -> len ) return false ; for ( u64 i = 0 ; i < a -> len ; ++ i ) { if ( a -> vars [ i ] != b -> vars [ i ] ) return false ; if ( a -> vals [ i ] != b -> vals [ i ] ) return false ; } return true ; }
Checks if a and b are equivalent
Checks if a and b are equivalent