poset :: POSet :: print_metrics
# Display exhaustive metrics about the poset
fun print_metrics
do
var nb_greaters = new Counter[E]
var nb_direct_greaters = new Counter[E]
var nb_smallers = new Counter[E]
var nb_direct_smallers = new Counter[E]
var nb_direct_edges = 0
var nb_edges = 0
for n in self do
var ne = self[n]
nb_edges += ne.greaters.length
nb_direct_edges += ne.direct_greaters.length
nb_greaters[n] = ne.greaters.length
nb_direct_greaters[n] = ne.direct_greaters.length
nb_smallers[n] = ne.smallers.length
nb_direct_smallers[n] = ne.direct_smallers.length
end
print "Number of nodes: {self.length}"
print "Number of edges: {nb_edges} ({div(nb_edges,self.length)} per node)"
print "Number of direct edges: {nb_direct_edges} ({div(nb_direct_edges,self.length)} per node)"
print "Distribution of greaters"
nb_greaters.print_summary
print "Distribution of direct greaters"
nb_direct_greaters.print_summary
print "Distribution of smallers"
nb_smallers.print_summary
print "Distribution of direct smallers"
nb_direct_smallers.print_summary
end
lib/counter/counter.nit:358,2--387,4