counting_mso (382B)
1 # Counting MSO 2 3 [monadic_second_order_logic] where you want to compute the total weight of assignments in a [semiring] 4 - all elements have a value 5 - all assignments have a value obtained by summing the value of the variables 6 - we want to compute some aggregation of the weights of all assignments 7 8 See also: [weighted_mso] 9 10 Up: [monadic_second_order_logic], [counting_weighted_mso]