Decision making process via binary decision diagram | Synapse