Textmeddelande: Binary decision diagrams :