Decision node (source code)

= Decision node

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.