Uses of Class
de.breakpointsec.pushdown.weights.NoSemiring