1. A method to generate a class of service model, comprising: electronically generating a ruleset based on a class of service configuration associated with a router; electronically generating a flat representation of the ruleset, wherein generating the flat representation comprises generating a binary decision diagram representative of the ruleset; electronically generating a class of service model by composing the flat representation into a composed ruleset, wherein composing the flat representation comprises transforming the binary decision diagram, wherein the binary decision diagram is a first binary decision diagram and transforming the first binary decision diagram comprises using existential quantification to remove a binary decision diagram variable from the binary decision diagram, generating a second binary decision diagram using the removed binary decision diagram variable, and performing a set-union on the first and second binary decision diagrams to generated a transformed binary decision diagram; and storing the class of service model in a computer-readable memory.