Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions