Binary-decision-diagram device