An internal vertex that tests a condition and selects an outgoing branch. In a binary decision diagram, a decision node tests a Boolean variable and has one zero arrow and one one arrow.
New to topics? Read the docs here!
New to topics? Read the docs here!