# Print the final stats on the screen
fun print_stats
do
var nb_cov = 0
var nb_con = 0
var nb_inv = 0
var nb_biv = 0
for pt in pts do
if covar_pt.has(pt) then
if contravar_pt.has(pt) then
nb_inv += 1
else
nb_cov += 1
#print "covar: {pt.full_name}"
end
else
if contravar_pt.has(pt) then
nb_con += 1
#print "contravar: {pt.full_name}"
else
nb_biv += 1
#print "bivar: {pt.full_name}"
end
end
end
print " covariants: {nb_cov} ({div(nb_cov*100, pts.length)}%)"
print " contravariants: {nb_con} ({div(nb_con*100, pts.length)}%)"
print " bivariants: {nb_biv} ({div(nb_biv*100, pts.length)}%)"
print " invariants: {nb_inv} ({div(nb_inv*100, pts.length)}%)"
print " total: {pts.length}"
end
src/metrics/detect_variance_constraints.nit:300,2--332,4