Multi-valued decision diagrams