Ordered Binary Decision Diagrams