Assertion: graph's vertex | /r/HasProperty | labeled by the name of a binary variable
Facets:
value: in a binary decision diagram
type: OTHER
Source sentences:
text: In a binary decision diagram, each non-sink vertex is labeled by the name of a binary variable, and each sink and each edge is labeled by a 0 or 1.