Element 'binary decision diagrams'