-
Provides 3 heurisitics to compute the strength of an SCC: inherent, structural and syntactic * src/tgbaalgos/isweakscc.cc: implementation * src/tgbaalgos/isweakscc.hh: definition
450ec22b
Provides 3 heurisitics to compute the strength of an SCC: inherent, structural and syntactic * src/tgbaalgos/isweakscc.cc: implementation * src/tgbaalgos/isweakscc.hh: definition